[kisoron-ml] JAIST Logic Seminar Series

皆様

Munich Center for Mathematical Philosophy のMatthias Schirn 教授の講演を 開催いたします。 ふるってご参加ください。

問い合わせ先： 佐野勝彦 北陸先端科学技術大学院大学 情報科学研究科 e-mail: [email protected]

----------------------------------------------- * JAIST Logic Seminar Series *

Date: Tuesday 22 October, 2013, *15:00*-

Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html)

Speaker: Prof. Dr. Matthias Schirn (Munich Center for Mathematical Philosophy)

Title: HILBERT'S FINITISM, THE CONCEPT OF INFINITY, AND THE DECISION PROBLEM

Abstract: See http://www.jaist.ac.jp/~v-sano/seminars/Matthias_Schirn.pdf