【書籍】 竹内薫 『不完全性定理とはなにか』 ブルーバックス 2013.4

副題：ゲーデルとチューリングの考えたこと
p.26　３ワカラン：相対性理論、量子論、不完全性定理
p.61　茂木は、連続体仮説を勉強することの重要性を強調していた

　読書案内
■　書籍情報入手先　　　★☆☆☆☆
　　『新聞書評（2013.5-）』　2013.5.12　読売
　　『新聞書評（2013.3-）』　2013/3/31　広告
　　『今月読む本』　2013.5（その２）
　　『出版物情報（２）』　（本　講談社）2013.5
■　所　在
　　県立　市立410ﾀ

【書籍】 野矢茂樹 『入門！論理学』 中公新書 2006.9

記号式を使わない記号論理学入門。そこそこいい。

（推薦図書）
金子洋之　記号論理入門　産業図書　1994　先行図書として
戸田山和久　論理学をつくる　名古屋大学出版会　2000　記号式たっぷり
（著書）
論理トレーニング
論理トレーニング１０１題
論理学

■　書籍情報入手先　　　★★☆☆☆
　　「佐藤優選・文庫＆新書百冊」　第８８番　『ぼくらの頭脳の鍛え方』　2009.10
■　所在
　　7FS116ﾉ　市立116ﾉ　大学

【書籍】 野崎昭弘 『不完全性定理－数学的体系のあゆみ』（たのしいすうがく２） 日本評論社 1996.9

ゲーデルの定理、超数学入門である。
ゲーデルの不完全性定理とは、体系Ｚの中では表現できないような論法を使わないと、Ｚの無矛盾性（ある文Ｍについて、Ｍと（Ｍの否定）が証明できることはないこと。）の証明はできない。体系外の立場に立つ必要がある。

参考文献

■　書籍情報入手先　　　★★★☆☆
　　『空気を読むな、本を読め。』　小飼弾　2009.11
■　所在
　　大学410.4.N98