Top Runners’ Lecture Collection“Computations, Proofs, and Intuitions: A Workshop on Philosophy of Mathematics” (9/18)


Date	Friday, September 18, 2015
Time	10:00-18:00
Venue	Meeting Room 2, 3rd Floor, Intenrational Conference Center, Waseda Campus, Waseda University
Program	10：00 Opening Remarks 10：10 “Game Theory and “Symbolic” Logic” Speaker: Mamoru Kaneko (Waseda University) 11：10 “Proof theory of the lambda-calculus” Speaker: Masahiko Sato (Kyoto University) 12：10 Lunch Break 14：00 “The concept of computation – an axiomatic characterization” Speaker: Wilfried Sieg (Carnegie Mellon University) 15：20 Break 15：40 “Kant on mathematical intuition: from an educational point of view” Speaker: Yasuo Deguchi (Kyoto University) 16：40 Break 17：00 “Aspects of the notion of computability” Speaker: Makoto Kikuchi (Kobe University) 18：00 Closing
Language	English
Eligibility	Open to public
Registration	No advanced registration required

Waseda Institute for Advanced Study (WIAS)Waseda University