Steve Awodey and Wilfried Sieg are organizing a Workshop on Paul Bernays. Bernays was Hilbert’s collaborator on the proof theoretic consistency program and is among the best 20th century philosophers of mathematics.
The workshop will take place on November 15 and 16 (Saturday and Sunday); it will be very informal, with generous time for talks and discussion. The meetings will be in the Steinberg Auditorium, Baker Hall A53.
| 9:40 | Opening Remarks | |
| 9:45-11:00 | The Philosophical Significance of the 'Hilbert Problems' Lecture (W.B. Ewald) | |
| 11:00-11:15 | Coffee Break | |
| 11:15-12:30 | Bernays and set theory (A. Kanamori) | |
| 12:30-2:00 | Lunch | |
| 2:00-3:15 | Bernays and the Decision Problem in Hilbert's School (R. Zach) | |
| 3:15-3:45 | Coffee Break | |
| 3:45-5:00 | Remarks on Bernays' transition and "Sur le platonisme" (C.D. Parsons) | |
| 5:00-6:00 | Reception in the Department of Philosophy |
| 9:45-11:00 | The myth of intuition: Bernays on finitism (W.W. Tait) | |
| 11:00-11:15 | Coffee Break | |
| 11:15-12:30 | TBA (B. Buldt) |