数学基礎論サマースクール 2014

テーマ: 集合論 (特に強制法 (forcing) 理論)

開催場所: 神戸大学 工学部 LR501教室

開催期間: 2014年 9月16日(火) 〜 2014年 9月19日(金)

本サマースクールは無事終了しました． スタッフ講師も含めると72人の参加者がありました． ボランティアで雑用や講義をしていただいたスタッフや講師の方々， お菓子代のカンパをしていただいた方， アクティヴに講演を聞いて多くの質問やコメントをしていただいた参加者の皆様に， 感謝いたします．

日本数学会 数学基礎論および歴史分科会の補助を受けて毎夏開催されている　数学基礎論サマースクール　は， 毎年ごとにテーマを決めて，数学基礎論 (数理論理学) の各研究分野での専門家の方を講師としてお招きして， 入門的な内容から最新の話題までさまざまな講義をしていただいています． 2014年度のテーマは　集合論　(特に強制法理論) です．

今回のサマースクールでは，以下の3人の講師により 1960年代以降， 集合論の中心的な手法となっている強制法 (forcing) の入門のテュートリアルを行なう予定です．

数理論理学を研究／勉強している研究者／学生の方，数学の他の分野の研究者／学生で forcing を使ってみたいと思っていらっしゃる方， forcing のアイデアを自分の研究に生かしたいと思っていらっしゃる計算機科学など隣接分野の研究者／学生の方， 現代的な集合論の意味を理解したいと思っていらっしゃる科学哲学の研究者／学生の方， 趣味で集合論の勉強をされている方，など様々な背景を持った参加者を期待しています．

参加登録や参加費などはありませんが，参加者の概数を把握したいので， 参加を希望される方は， 9月18日(木) に予定している夕食会の参加希望の有無も含めて，以下の email address まで連絡をお願いします． その他，本サマースクールに関する質問なども以下のメールアドレスにお願いします． メールを送っていただく際には subject に "kisoron summerschool 2014" というキーワード (半角英数字) を入れていただけると， こちらでのメールの見落としの確率を下げることができると思います．

予定されている講師と講義内容 (タイトルはいずれも仮題)

(キャンパスは街から少し離れた丘の上にあるためキャンパスの外で昼食をとる時間の余裕がないかもしれません． 19:00 まで営業している学食もいくつかあります．)

(池上氏の講義はこの講義録の内容の改良版になる予定です． 池上氏によると，ここにリンクした講義ノートは，手書きで読みにくい部分があることと， いくつか間違いを含んでいるので (間違いを正しく指摘できた人には池上氏からプレゼントがもらえます， という話は全く聞いていません)，このことに留意して読んでほしい，とのことです．)

・ 9月18日(木) の懇親会について: 神戸大学生協レストラン さくら での立食パーティーです． 参加費は実費3000円．参加希望の方は， 初日 (または二日目) に参加費(実費)支払と参加登録をしておいてください．