|
タイトル |
山の上のロジック学園(ヤマノウエノロジックガクエン) |
|
のどかな山の上のロジック学園に、天馬空を行く入門生たちがやってきた。数学、哲学、情報科学など、さまざまなバックグランドを持った入門生らは、強烈な個性を炸裂させながら、たった2週間の授業でチューターのレオも舌を巻くレベルに成長していく。いよいよ最終日の演習が始まろうとしたとき、衝撃の出来事が…。小説仕立ての本書は、読者も入門生の一員となって読み進めることができ、「ゲーデルの不完全性定理」などについての深い理解へと導いてくれる。
プロローグ
まえがき
2月28日(月) 授業1日目
等式ロジック
演習:ピグマリオン
3月1日(火) 授業2日目
等式理論とブール代数
演習:リンダ問題
3月2日(水) 授業3日目
命題論理
演習:ジレンマ
3月3日(木) 授業4日目
1階論理
演習:薔薇の名前
3月4日(金) 授業5日目
計算のロジック
演習:ヒア・アフター
3月5日(土) 特別講義
超準解析
カンディード
第1週のまとめ
3月7日(月) 授業6日目
第一不完全性定理
演習:星に願いを
3月8日(火) 授業7日目
第二不完全性定理
演習:逆の発想
3月9日(水) 授業8日目
不完全性定理とさまざまな論理
演習:ゴジラ
3月10日(木) 授業9日目
ランダム性と不完全性定理
演習:NUMB3RS
3月11日(金) 授業10日目
ゲーデル以降の展開
巨大地震襲来!!
五年目のペリパトス
第2週のまとめ
出版後記
エピローグ