皆様，
以下の要領で「数学の哲学ウィンタースクール」を開催します．
日時：2018年1月7日（日）から8日（月，祝） （両日とも 10:00-12:00, 13:00-15:00, 15:30-17:30 の3コマの予定） 場所：京都産業大学サギタリウス館（http://www.kyoto-su.ac.jp/facilities/cam_map.html%EF%BC%89 講師：金子洋之，岡田光弘，岡本賢吾 プログラム：詳細未定（各講師「講義90分+質疑応答30分」x 2コマ） 世話人：三好博之，菊池誠
内容（変更の可能性があります）： 金子洋之：直観主義と不完全性定理（ブラウワ，ゲーデル，ダメットなど） 岡田光弘：形式主義と数学の無矛盾性証明（ゲンツェンから竹内外史へ） 岡本賢吾：カントと数学基礎論（フレーゲ＆ウィトゲンシュタイン，ヒルベルト＆ゲーデル）
昼食：ウィンタースクール開催中はキャンパス内の食堂は営業していません． 両日ともお弁当（1000円／食）の手配をします． 必要のある方は，参加申込と同時にお申し込みください．
懇親会：7日夜に四条河原町周辺で懇親会を開催の予定です． 会費は3千円から4千円程度を考えています．
参加申込：会場の手配，弁当の手配，懇親会の準備のため，以下の情報を 《12月20日》までに菊池（mkikuchi@kobe-u.ac.jp）まで e-mail でご連絡ください．
--ここから-- 氏名： 所属： 身分：（教員・ポスドク等・学生・その他） 連絡先 e-mail： 弁当：7日（要・不要），8日（要・不要） 懇親会：（参加・不参加） --ここまで--
備考：このウィンタースクールは科研費基盤B「数学の哲学の新たな展開」 （代表：菊池誠）の活動の一環として開催されます．来年度以降も開催の予定です．
連絡先：菊池誠（mkikuchi@kobe-u.ac.jp）