{"id":1352,"date":"2015-09-18T17:12:20","date_gmt":"2015-09-18T08:12:20","guid":{"rendered":"http:\/\/www.waseda.jp\/inst\/wias\/?p=1352"},"modified":"2016-12-13T11:47:15","modified_gmt":"2016-12-13T02:47:15","slug":"top-runners-lecture-collectioncomputations-proofs-and-intuitions-a-workshop-on-philosophy-of-mathematics","status":"publish","type":"post","link":"https:\/\/www.waseda.jp\/inst\/wias\/news-en\/2015\/09\/18\/1352\/","title":{"rendered":"Top Runners\u2019 Lecture Collection
“Computations, Proofs, and Intuitions: A Workshop on Philosophy of Mathematics” (9\/18)"},"content":{"rendered":"

WIAS Top Runners\u2019 Lecture Collection
\n\u201cComputations, Proofs, and Intuitions: A Workshop on Philosophy of Mathematics\u201d<\/h3>\n\n\n\n<\/colgroup>\n\n\n\n\n\n\n\n\n
\u00a0<\/caption>\n
Date<\/strong><\/th>\nFriday, September 18, 2015<\/td>\n<\/tr>\n
Time<\/strong><\/th>\n10:00-18:00<\/td>\n<\/tr>\n
Venue<\/strong><\/th>\nMeeting Room 2, 3rd Floor, Intenrational Conference Center, Waseda Campus, Waseda University<\/a><\/td>\n<\/tr>\n
Program<\/strong><\/th>\n\n
\n
10\uff1a00<\/dt>\n
Opening Remarks<\/dd>\n
10\uff1a10<\/dt>\n
“Game Theory and “Symbolic” Logic”
\nSpeaker: Mamoru Kaneko (Waseda University)<\/dd>\n
11\uff1a10<\/dt>\n
“Proof theory of the lambda-calculus”
\nSpeaker: Masahiko Sato (Kyoto University)<\/dd>\n
12\uff1a10<\/dt>\n
Lunch Break<\/dd>\n
14\uff1a00<\/dt>\n
“The concept of computation – an axiomatic characterization”
\nSpeaker: Wilfried Sieg (Carnegie Mellon University)<\/dd>\n
15\uff1a20<\/dt>\n
Break<\/dd>\n
15\uff1a40<\/dt>\n
“Kant on mathematical intuition: from an educational point of view”
\nSpeaker: Yasuo Deguchi (Kyoto University)<\/dd>\n
16\uff1a40<\/dt>\n
Break<\/dd>\n
17\uff1a00<\/dt>\n
“Aspects of the notion of computability”
\nSpeaker: Makoto Kikuchi (Kobe University)<\/dd>\n
18\uff1a00<\/dt>\n
Closing<\/dd>\n<\/dl>\n<\/td>\n<\/tr>\n
Language<\/strong><\/th>\nEnglish<\/td>\n<\/tr>\n
Eligibility<\/strong><\/th>\nOpen to public<\/td>\n<\/tr>\n
Registration<\/strong><\/th>\nNo advanced registration required<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

WIAS Top Runners\u2019 Lecture Collection \u201cComputations, Proofs, and Intuitions: A Workshop on Philosophy of Mathem […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[95],"tags":[82,94,73],"class_list":["post-1352","post","type-post","status-publish","format-standard","hentry","category-news-en","tag-events-en","tag-general-en","tag-research-en"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/1352","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/comments?post=1352"}],"version-history":[{"count":6,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/1352\/revisions"}],"predecessor-version":[{"id":1363,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/posts\/1352\/revisions\/1363"}],"wp:attachment":[{"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/media?parent=1352"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/categories?post=1352"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.waseda.jp\/inst\/wias\/wp-json\/wp\/v2\/tags?post=1352"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}