けものフレンズBBS NEO

学生フレンズ集まれ!~ジャパリ学園~ / 1830

1830

>> 1819
このサイトの補足のところに完全に同意です。
そもそも、不完全性定理は完全性定理の前提になりたっています。つまり、論理学は無矛盾です。
無矛盾な論理学を使って、数学というものをメタ的に見たときに、無矛盾な体系は作れないというのがいわゆる不完全性定理です。
その前提なしで話を進めるので、わけわからない事になるのです。

こちらの書籍がお勧めです。
不完全性定理以外の話が多いですか、それ含めて面白いです。
良ければどうぞ。

無限論の教室 (講談社現代新書 1420) | 野矢 茂樹 |本 | 通販 | Amazon
Amazonで野矢 茂樹の無限論の教室 (講談社現代新書 1420)。アマゾンならポイント還元本が多数。野矢 茂樹作品ほか、お急ぎ便対象商品は当日お届けも可能。また無限論の教室 (講談社現代新書 1420)もアマゾン配送商品なら通常配送無料。
Amazon

通報 ...