[FOM] The Fundamental Idea of Proof Theory in Paris (workshop announcement)

[Andre.Rodin@ens.fr]

THE FUNDAMENTAL IDEA OF PROOF THEORY


Chair  of Excellence of Michael DETLEFSEN "Ideals of Proof"

University Paris-Diderot, Departement of History and Philosophy of Science

Ecole Normale Supérieure, Collectif  Histoire Philosophie Sciences


In Ecole Normale Supérieure (45 rue d'Ulm, Paris 75005), salle Dussane,  April
15-16, 2009


Programme:

Wednesday, April 15th / Mercredi 15 avril

8h30: Per Martin-Löf, Proof theory as conceived by Hilbert and logic in the
traditional sense

10h30: Albert Visser, Look again. Syntax is no syntax.

12h30 Lunch/ Dejeuner

14h00: Göran Sundholm, Proofs as chains of mental operations; could Brouwer be
right after all?"

16h00: Peter Schroeder-Heister, Bidirectional reasoning



Thursday, April 16th / Jeudi 16 avril

10h00: Dag Prawitz, Conflicting intuitions about deductive reasoning

12h: Lunch / Dejeuner

14h00: Rafael Nunez, Towards the cognitive foundations of proof

16h00: Wilfried Sieg, Uncovering aspects of the mathematical mind"



P.S. The event is open, there is no registration fee, everybody is welcomed.