This is the old version of the CRM site. Please use the new site on the page crmdegiorgi.sns.it

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