Stanford-Paris Workshop in the History and Philosophy of Diagrams in Mathematics

Location for all three days, Classics Building 110-1110

Program

Thursday 10/4

Morning Session: History of diagrams as artifacts (chair: Paula Findlen)

9:30 Ken Saito

The Diagrams in the Manuscripts of Euclid's Elements

10:30 Gregg De Young

Mathematical Diagrams: From Manuscript into Print

11:30 Reviel Netz

Greek Mathematical Diagrams in the Context of Scribal Practice

Afternoon Session: Modern Logical Developments (chair: Sol Feferman)

14:00 Brice Halimi

Diagrams as Sketches, Sketches as Theories

15:00 Sun-Joo Shin

Carving-up Principle in Diagrammatic Reasoning

Friday 10/5

Diagrams in Euclid’s Elements: Philosophical Reflections

Morning Session (chair: Katherine Dunlop)

09:30 John Mumma

Ensuring Generality in Formalizations of Euclid’s Diagrammatic Arguments

10:30 Ken Manders

Diagrams in Euclidean Geometry: Reductio and the Opponent.

11:30 David Rabouin

Proclos on Diagrams

Afternoon Session (chair: Michael Friedman)

14:00 Danielle Macbeth

Diagrammatic Reasoning in Euclid's Elements

15:00 Marco Panza

The Double Role of Diagrams in Euclid’s Elements

Saturday 10/6

After Euclid

Morning Session: The 19^th Century (chair: Karine Chemla)

10:00 Sébastien Gandon

From Figures to Forms: Pasch on the use of diagram in projective geometry

11:00 Ivahn Smadja

The Fruitfulness of Ambiguity: The Use of Lattice Diagrams in the 19th Century Number Theory

Afternoon Session: Early Modern (chair: Reviel Netz)

13:30 Katherine Dunlop

J. H. Lambert on Certainty and the Existence of Models

14:30 Paolo Palmieri

Diagrams in Motion: Galileo’s search for Mathematical Proofs