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

Andre.Rodin@ens.fr Andre.Rodin at ens.fr
Sat Apr 11 11:03:45 EDT 2009


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


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.

More information about the FOM mailing list