山の上のロジック学園

のどかな山の上のロジック学園に、天馬空を行く入門生たちがやってきた。数学、哲学、情報科学など、さまざまなバックグランドを持った入門生らは、強烈な個性を炸裂させながら、たった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週のまとめ 　出版後記 エピローグ