[FOM] The Fundamental Idea of Proof Theory in Paris (workshop announcement)
Andre.Rodin at ens.fr
Sat Apr 11 11:03:45 EDT 2009
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
Wednesday, April 15th / Mercredi 15 avril
8h30: Per Martin-Löf, Proof theory as conceived by Hilbert and logic in the
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