The Max Planck Institute for the History of Science in Berlin (Research Group in Modern Geometry and the Concept of Space) and the Scuola Normale Superiore in Pisa have organized a conference on "Geometry and Logic. The Shape of Mathematical Proof from Antiquity to the Early Modern Age". The conference is hosted by the Centro di Ricerca Matematica of the Scuola Normale in Pisa, from the 17th to the 19th of June 2013.
Program in pdf:
Conference page:
Please feel free to contact me for further information.
Best,
Vincenzo
-------------------------------------------------------------------------------------------
Geometry and Logic
The shape of Mathematical Proof form Antiquity to the Early Modern Age
Monday, June 17th
9:30 – 11:00 Ken Saito (Osaka University)
The diagrams of Euclid's Elements.
Plane geometry, arithmetic, irrational magnitudes and solid geometry
11:15 – 12:45 Heike Sefrin-Weis (University of South Carolina)
Figuring it out: The role of diagrams in Greek geometrical proofs
Lunch
14:15 – 15:45 Monica Ugaglia (Università di Udine)
Divide et inveni: the role of geometrical practice in Aristotle’s explanation of knowing
16:00 – 17:30 Orna Harari (Tel Aviv)
Euclid’s Elements and the Principles of Demonstration in Late-antique Philosophy
Tuesday, June 18th
9:30 – 11:00 Roshdi Rashed (Université Paris VII)
Problèmes impossibles et problèmes indéterminés en analyse diophantienne classique
11:15 – 12:45 Sabine Rommevaux (CNRS Paris)
La réduction syllogistique des livres I à VI des Elements d'Euclide par Dasypodius. Méthode et enjeux
Lunch
14:15 – 15:45 Paolo Freguglia (Università dell'Aquila)
Marinus Ghetaldi between Clavius and Viète: Mathematics and ‘methodus’
16:00 – 17:30 Massimo Mugnai (Scuola Normale Superiore)
Leibniz’s logical diagrams
Wednesday, June 19th
9:30 – 11:00 Alison Laywine (McGill University)
Kant and Conic Sections
11:15 – 12:45 Andrew Arana (University of Illinois)
Non-euclidean geometry and geometrical content
Lunch
14:15 – 15:45 Victor Pambuccian (Arizona State University)
The birth of algebra and its consequences on the relations between geometry and logic
16:00 – 17:30 Claudio Bartocci (Università di Genova)
“Solving the universe”: Clifford’s geometric algebras
