不完全性定理とはなにか 完全版 の商品レビュー

竹内薫(著者)

2025/12/24

番組「サイエンスゼロ」でお馴染みの人、学者と思いきやサイエンスライターだったとは…　くだけた表現で好き嫌い分かれそうだが、なかなか分かりやすくてよかった。素人が疑問に思っていそうなことをよく理解してくれている。とくに不完全性定理が物理学に対して影響するのか、という点は一番最初に興味を持ったテーマだったように記憶している。
ハイゼンベルクの不確定性原理が関連として一瞬出てくるが、ここの説明については不正確で勘違いを生む説明になっているようだ。ハイゼンベルクの不確定性は測定誤差に関するものだと言ってるが決してそうではなく、小澤正直によって誤差と擾乱が厳密に定義され、量子のゆらぎをより正確に示した、とする説明にすべきだった。

2025/08/17

不確定性原理ではなく不完全性定理。名前は知っているし、何度かその解説を目にしてはいると思うのだが、やはりよくわからない。おそらくきちんと数学を修めないとわかるという所には到達できないのだろう。この本はそんな読者に少しでも不完全性定理について感じてもらおうという本。何となく前よりはイメージを掴めたような気はするが、やはりわかったとは言えないのは変わらないか。頭の体操にはなりました(笑)。

2025/07/28

火星人ノイマンをして最高の知性と言わしめたゲーデルの不完全性定理。当たり前のように完全？完璧？正確？と思っている数学が不完全とはこれいかに？定理の名前は聞いたことがあるし、形而上学的な話にも聞こえ興味をくすぐられるが、一般人がちゃんと分かる訳がないというのが第一感。

そんな話を何となくこんな要素(無限、集合論、対角線論法、論理学/形式証明、自己言及、ゲーデル数、･･･)を使ってこんな感じで証明されると言うのが書かれている。ただ、ところどころ説明が飛んでる(なぜそうする？)/説明の順序が変に思えるので理解に苦しむ。ゲーデル数は素数？(p.125)、グッドステイン列の定義の説明がないまま話が進み...とChatGPTしながら何とか読む。IT系の人間としてはチューリングの話の方が分かりやすい(と言うか何となく追いやすい)が、なぜそういう考えに至ったかというのは分かる由もない。ただ、本書で細かいことに拘ってはいけない。巻末の対談の中で本書の位置づけも書かれているが、「本書はここで興味をもってもらってちゃんとした理解はもう少し踏み込んだ本を読むべきである」と。なので、ポイント毎にたくさんの本が紹介されてるし、ちょっと読みたくなった本も出てきた。著者の思う壺である。

理解したとは言い難いが興味ある話(意味論とか)もたくさん聞けて有意義な読書だった。あと、著者はコマ大数学科の頃から好きな方だが、本書は大分カジュアルな感じで書かれているので好き嫌いがでるかも。

2025/05/21

論理学が出てきたあたりから正直、難解で理解が難しかった。ただ、これは書き手の問題ではなくこちらの知的体力の問題。後日また腰を据えて再読してみたい。

2025/05/15

　革命的な理論がわからないと感じた時は、「歴史」を書いた教科書を読むと、よい。対角線論法は数学基礎序説（ワイルダー）で学んだ。

2025/03/05

作者有名だから買ってみたものの作者と私のレベルが違い過ぎるのか理解できなかった。
ひょっとすると不完全性定理を理解できてる人が読む本なのかも。

そんなことより気になるの
無限ホテルが満室だから新しく来た人のために部屋を変わるとして誰がベッドメイキングしてるんでしょうか。

2025/03/01

そもそも、不完全性定理って、何のために必要なのだろう。それを証明したことが衝撃的であっても、普通の人々の日常には、何ら影響がないだろうが、暗黙知みたいに信じられていたことを覆す、画期的な発見らしい。わかりやすい説明に腐心されているが、突然突き放されたように、わかる人だけがついていけばいい、みたいな説明に変わる。専門家でも難解な、この定理を素人にわかりやすく説明する、そのこと自体が無謀とも言える。命題が真であることと証明できることは完全には一致しないで、真であるのに証明できないことがある。それを原理的に証明した、みたいな錯綜とした内容であり、何か得られたか、と考えても空虚感だけが残ってしまう。

2025/02/18

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

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

2024/12/04

素数の世界を読み数学の世界に色々と興味がわいて読んだ本書。書いてることは半分も理解できなかったが、軽妙な語り口で気軽に読めた。
数学を記号化するとか、証明に背番号をつけて数字で考えるとか、論理的というよりすごく抽象的な操作をしてるというのが新鮮だった。こうなると、数学者は閃きが大事で若い頃に大きな仕事をする傾向がある…というのも納得。
理屈に理屈を重ね、深く深く思索する、そんな数学の深淵さを感じられた。