[logic-ml] 数学基礎論サマースクール2015

[Makoto Kikuchi]

皆様，

先日ご案内いたしました数学基礎論サマースクール（8/18〜8/21）において，
初日の午前中に，数理論理学の予備知識を全く持たない人を対象とする，
数理論理学のチュートリアルを実施します．詳細はホームページ
（http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html）でご確認ください．

数学基礎論サマースクール世話人 菊池誠

--

数学基礎論サマースクール2015のご案内
参加申込〆切：2015年7月31日（金）

以下の要領で数学基礎論サマースクール2015を開催します．
ご参加希望の方は下記の要領でお申込下さい．皆様のご参加を心よりお待ちしています．

【注意】学部学生，数学基礎論を専門としない大学院生や研究者の参加を歓迎します．
　初日の午前中に数理論理学の予備知識を全く持たない人を対象とする，
　数理論理学のチュートリアルを実施します．（要申込）

【概要】様相論理入門と，証明や真理に関する様相論理の話題についての講義．
　また，様相論理と他分野との関係や発展的内容についての特論．

【日時】2015年8月18日（火）15:10 ～ 21日（金）15:00
【場所】神戸大学六甲台第2キャンパス内 工学部教室棟LR501教室（戎記念ホール）
【住所】〒657-8501神戸市灘区六甲台町1-1
【ホームページ】http://www2.kobe-u.ac.jp/~mkikuchi/ss2015.html
【講師】薄葉季路（神戸大），金子守（早稲田大），倉橋太志（木更津高専），
　黒川英徳（神戸大），佐藤雅彦（京大名誉教授），佐野勝彦（JAIST），渕野昌（神戸大）

【参加費】無料
【参加申込】
以下の内容を e-mail で件名「ss2015」として，mkikuchi at kobe-u.ac.jp 宛にお送りください．
・氏名（ふりがな）：
・所属：
・懇親会出欠：出席／欠席
申込〆切：2015年7月31日（金）

【内容】

〈講義〉（各3コマ）
1. 様相論理入門（佐野）
　様相論理の構文論と意味論，正規様相論理，最近の発展と歴史的背景
2. 証明可能性論理（倉橋）
　算術と不完全性定理，ゲーデル・レーブ論理と算術的完全性定理，証明可能性論理の拡張
3. 強制法と様相論理（薄葉）
　公理的集合論と強制法，ジェネリック拡大と強制関係，強制様相論理
4. 真理と様相（黒川）
　タルスキの真理論と知者のパラドックス，クリプキの真理論，真理の改定理論

〈特論〉（各1コマ）
1. 認識論理のゲーム論的意思決定への応用（金子）
2. 計算機科学と様相論理（佐藤）
3. 公理的集合論と様相論理（渕野）

〈その他〉
1. チュートリアル
　時間：10:00-12:30，講師：依岡輝幸（静岡大），場所：LR501教室
　内容：数理論理学の予備知識を全く持たない人を対象とする少人数の講義．
　受講ご希望の方は参加申込と同時に，または別便で件名「ss2015」として本文中に
　「チュートリアル受講希望」と書いて mkikuchi at kobe-u.ac.jp までご連絡下さい．
2. 導入
　時間：14:00-15:00，担当：菊池誠（神戸大・世話人），場所：LR501教室
　内容：今回のサマースクールの背景および企画意図の説明．

【懇親会】19日夜に神戸大学内で懇親会を開催します．
　日時：2015年8月19日（水）午後7時から
　会場：和風レストランさくら http://www.kucoop.jp/info/shop-belbox.html
　場所：神戸大学六甲台第1キャンパス内 BEL BOX 3階
　会費：3,500円（予定）

【アドバイザ】新井敏康（千葉大），鈴木信行（静岡大），松原洋（名古屋大）
【世話人】神戸大学 大学院システム情報学研究科 菊池誠，酒井拓史
【連絡先】菊池誠 mkikuchi at kobe-u.ac.jp