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.

日時:
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 (カナダ，ケベック大学モントリオール校)
タイトル
Revisiting Wittgenstein's Rule-Following Argument
講演者
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”
14:00
Discussion and short break
14:30
Mirja Hartimo “Husserl’s Philosophy of mathematics”
15:30
Discussion and short break
16:00
Mathieu Marion “Revisiting Wittgenstein's Rule-Following Argument”
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) 懇親会 (於 中国飯店) 参加自由無料です．

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”
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 LATEX by HEVEA.