PHILOSOPHY OF MATHEMATICS Feb 10th-11th, 2011 (Preliminary Announcement) 「数学の哲学の現在」シンポジウム 2011年2月10日―11日

主催：慶應義塾大学「論理学とフォーマルオントロジー」オープンリサー チセンター

計算機科学，論理学，分析哲学，現象学，意識科学などの異なるフィールドで数 学の哲学を研究しておられる研究者が集まり，次のような公開研 究集会の開催 を予定しています． The purpose of this meeting is to bring together researchers from different fields to discuss the resent state of philosophy of mathematics.

（また、２月２４日ー２５日にFormal Ontologyの哲学と論理に関する研究会 を、また２６日に数学基礎論の哲学に関する研究会を同一会場で予定しておりま す。追ってご案内させていただき ます。We also plan to have a Formal Ontology meeting on 24-25th and a Philosophy of the foundations of Mathematics meeting on 26th; to be announced shortly.)

*日時:* 2011年2月10日午後1時 -- 11日午後5時 *Date:* Feb 10, 2011 (13pm) -- Feb 11 (17pm) *場所:* 慶應義塾大学 三田キャンパス 東館6階 G-Sec Lab *Place:* G-Sec Lab, 6th floor of the East Building, the Mita Campus, Keio University

http://abelard.flet.keio.ac.jp/pom11/

参加自由ですが会場設定や座席の優先確保などのためにできるだけ事前電子登録 をお願いいたします．登録先はこちらです．

https://abelard.flet.keio.ac.jp/pom11/registration.html

招待講演者は次の方を含みます． The main foreign guest speakers include:

*講演者:* Henk Barendregt (オランダニーメゲン Radboud University, Foundations of Mathematics and Computer Science 講座長) *タイトル:* “Philosophy of mathematics, computer mathematics and lambda calculus”

*講演者* Mirja Hartimo (フィンランド，ヘルシンキ大学) *タイトル* Husserl’s Philosophy of Mathematics

*講演者* Mathieu Marion (カナダ，ケベック大学モントリオール校) *タイトル* Wittgenstein and Philosophy of Mathematics

*講演者* Mark van Atten (フランス，パリ科学史科学哲学研究所) *タイトル* Intuitionism as phenomenology: a critique of Rota

また国内ゲストはつぎの方たちを含みます．Other guest speakers include: 佐藤雅彦先生 (京都大学) “Formalization of mathematics” 矢田部俊介先生 (産業総合研究所) “Truth theories and co-induction” また，第一日目のプログラム終了時に懇親会 (参加自由) を予定しています．

The (tentative) PROGRAM:

2月10日 (Feb 10th. The first Day)

*13:00* Henk Barendregt “Philosophy of mathematics, computer mathematics and lambda calculus” *13:30* Discussion and short break *14:30* Mirja Hatimo “Husserl’s Philosophy of mathematics” *15:30* Discussion and short break *16:00* Mathieu Marion “Wittgenstein and Philosophy of Mathematics (tentative)” *17:00* Discussion and short break *18:00* Reception Party at Chuugoku Hanten Restaurant near (a few minutes walk distance from) the conference site/EAST GATE of the Mita Campus (Free for participation) 懇親会 (於 中 国飯店 http://www.chuugokuhanten.com/) 参加自由無料です．

2月11日 (Feb 11th. The second Day)

*10:00* Masahiko Sato (Kyoto University) “Formalization of mathematics” *11:00* Discussion and short break *11:30* Lunch Break *13:00* Mark Van Atten “Intuitionism as phenomenology: a critique of Rota” *14:00* Discussion and short break *14:30* Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology, Collaborate Research Team for Verification) “Truth theories and co-induction (tentative)” *15:30* Discussion and short break *16:00* Mitsuhiro Okada (Keio University) “Some Remarks on Equational theories in the early foundational studies of Hilbert and Husserl and Concluding discussions” And Concluding Discussion *17:00* End of the Meeting

参加自由ですが，会場設定や座席の優先確保などのためにできるだけ事前電子登 録をお願いいたします。登録先はこちらです。 https://abelard.flet.keio.ac.jp/pom11/registration.html

この会議は慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチ センターの主催で行われます． Organized by the Open Research Centre for Logic and Formal Ontology, Keio University.

------------------------------------------------------------------------

Organizing Committee: Mitsuhiro Okada (Keio University) Ryo Takemura (Keio University) Yutaro Sugimoto (Keio University)

------------------------------------------------------------------------ 問い合わせ先: 慶應義塾大学「論理学とフォーマルオントロジー」オープンリサーチセンター事務局 住所:東京都港区三田2-15-45 TEL:03-3453-4511 (内線23847) E-Mail: logic[AT]abelard.flet.keio.ac.jp

なお，セミナーの最新の情報は以下のページに掲示する予定です． http://abelard.flet.keio.ac.jp/pom11/

------------------------------------------------------------------------

/This document was translated from L^A T_E X by //H//^E //V//^E //A/ http://hevea.inria.fr/index.html/./