【感想】不完全性定理とはなにか

物性研の所内者、柏地区共通事務センター職員の方のみ借りることができます。
東大OPACには登録されていません。

貸出：物性研図書室にある借用証へ記入してください
返却：物性研図書室へ返却してください

https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000057331

最高にエキサイティングだった！ゲーデル・チューリング・チャイティン・一摘みのノイマン。最後の万物理論はこのシステム内では証明不可能かもしれないが、外宇宙(システム外)では証明可能かもしれないという"妄…想"は私が初めてカラビ・ヤウ多様体を観た時に感じた"感想"にかなり近く、とても面白かった。(ちなみに私は最も嫌われ者の強い人間原理主義者だ。)「科学の終焉」で述べられていた「世界を変えた偉人」にニュートン・ダーウィン・ゲーデル(&チューリング)・アインシュタイン・量子力学(プランク・ボーア・シュレーディンガー・ハイゼンベルク)・ワトソン&クリックが挙げられていて。私はダーウィン・ゲーテルの著作についてちっとも触れた事がない事に自分で驚き(ネオ・ダーウィニズムとかフォン・ノイマンとか後ろ側からは読んでるのに)、他の「発見」に比べて「不完全性定理」という素人の私には今一何がどう革命的なのか理解し難かったゲーデルを読んでみたかった。結果、これ程までに革命的(特にゲーデル→チューリング→ノイマンの流れは芸術的ですらある)な発見があったことに驚かされた。凄い、凄すぎる。世界は天才達の発見で動いている。あと、ラプラスの魔についても触れてあったけれど(不確定性原理があるとはいえ、何か納得がいっていなかったのだ)、万能チューリング機械と多元宇宙を並べた比喩で長年のもやもやがスッキリした。最高にエキサイティングな本だった！続きを読む

さすがブルーバックスで竹内さん。読みやすく、入門書に良い。が、これをたたき台にして、自分でちゃんと手を動かさないと、ちゃんと理解するところまではいけないのだろうな、と。

筆者の量子力学本が良かったのでこちらも読んでみたが挫折。レビューを見ると皆さん難しいとおっしゃっていて安心した(するな)。

訂正
量子力学は違う著者でした。勘違い。

久々の読書

不完全性定理で何冊か続けてみるつもり

正しいことと証明できることとは別ってこと

証明できないからといって正しくないとは言えないという証明とも言えるの？