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