CRM: Centro De Giorgi
logo sns

Geometry and Logic. The Shape of Mathematical Proof from Antiquity to the Early Modern Age

Co-financed by Max-Planck-Institute for the History of Science, Berlin

17 June 2013 - 19 June 2013

Timetable

Date Time Speaker Room
Mon 17 Jun 9:30- 11:00 Saito, Ken
"The diagrams of Euclid's Elements. Plane geometry, arithmetic, irrational magnitudes and solid geometry"
Sala Stemmi
11:00- 11:15 coffee break Sala Stemmi
11:15- 12:45 Sefrin-Weis, Heike
"Figuring it out: The role of diagrams in Greek geometrical proofs"
Sala Stemmi
14:15- 15:45 Ugaglia, Monica
"Divide et inveni: the role of geometrical practice in Aristotle’s explanation of knowing"
Sala Stemmi
15:45- 16:00 coffee break Sala Stemmi
16:00- 17:30 Harari, Orna
"Euclid’s Elements and the Principles of Demonstration in Late-antique Philosophy"
Sala Stemmi
Tue 18 Jun 9:30- 11:00 Rashed, Roshdi
"Problèmes impossibles et problèmes indéterminés en analyse diophantienne classique"
Sala Stemmi
11:00- 11:15 coffee break Sala Stemmi
11:15- 12:45 Rommevaux, Sabine
"La réduction syllogistique des livres I à VI des Elements d'Euclide par Dasypodius. Méthode et enjeux"
Sala Stemmi
14:15- 15:45 Freguglia, Paolo
"Marinus Ghetaldi between Clavius and Viète: Mathematics and ‘methodus’"
Sala Stemmi
15:45- 16:00 coffee break Sala Stemmi
16:00- 17:30 Mugnai, Massimo
"Leibniz’s logical diagrams"
Sala Stemmi
20:00- 23:00 Social Dinner
Wed 19 Jun 9:30- 11:00 Laywine, Alison
"Kant and Conic Sections"
Sala Stemmi
11:00- 11:15 coffee break Sala Stemmi
11:15- 12:45 Arana, Andrew
"Non-euclidean geometry and geometrical content"
Sala Stemmi
14:15- 15:45 Pambuccian, Victor
"The birth of algebra and its consequences on the relations between geometry and logic"
Sala Stemmi
15:45- 16:00 coffee break Sala Stemmi
16:00- 17:30 Bartocci, Claudio
""Solving the universe": Clifford's geometric algebras"
Sala Stemmi