HOME > News Archives > 2011 > Symposium:PROOF THEORY AND PHILOSOPHY (Saturday, 26th February, 2011 13:00-18:00)
Symposium:PROOF THEORY AND PHILOSOPHY (Saturday, 26th February, 2011 13:00-18:00)
*Admission free, no registration required.
*Held in English, no interpreter provided.
*Anyone interested are welcomed.
Date and Time:Saturday, 26th February, 2011; 13:00～18:00
Venue:G-SEC Lab, 6th floor, East Building, Mita Campus, Keio University
(campus map)
Richard Zach (University of Calgary)
"Gödel's First Incompleteness Theorem and Mathematical
Instrumentalism"
Ryo Takemura (Keio University)
"Proof Theory for Reasoning with Euler Diagrams"
Sam Sanders (Tohoku University)
"Reverse Mathematics & Non-Standard Analysis:
WHY SOME THEOREMS ARE MORE EQUAL THAN
OTHERS"
Michele Basaldella (Kyoto University)
"A Gentle Introduction to Ludics"
Here is the poster information (in Japanese).