Saturday, April 11, 2009

The Fundamental Idea of Proof Theory

THE FUNDAMENTAL IDEA OF PROOF THEORY
Date : 15-16 April 2009
Venue: ENS (45 rue d'Ulm, Paris 75005), salle Dussane.
Program:
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"

IP Workshop : Floyd-Kanamori

IP Workshop: "Proof: Mathematical Knowledge, Sense, and Context"
Date: May 26, 2009
Place: Salle Campanille (room 897C), Grands Moulins, U of Paris-Diderot
Time: 14h00--18h00

Session I: 14h00--15h55
Professor Juliet Floyd (Philosophy, Boston):
"Proof: Mathematical Knowledge, Sense, and Context"

Session II: 16h05--18h00
Professor Akihiro Kanamori (Mathematics, Boston)
"Mathematical Knowledge and Complexities in Proof"