• HOME
  • WASEDA UNIVERSITY TOP
  • Contact Us
  • Directions
  • Sitemap
  • JAPANESE
Loading
  • facebook
  • twitter
  • About us
  • Projects
  • People
  • Events
  • Publications
  • Networks
  • Applications

WIAS Top Runners’ Lecture Collection

“Computations, Proofs, and Intuitions: A Workshop on Philosophy of Mathematics”

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

PAGE TOP