不完全性定理とはなにか

竹内薫

[ブクログ · ★★★★★]

サイエンス作家である著者が科学の３ワカランの１つ「不完全定理」について、かなり優しく、興味が持てるよう解説した１冊。「なんかよくわからないなぁ」というモヤモヤしたものが、すぐに解消するものではないが、どんなものか？という点について、その印象をなんとなく掴めるような気がします。なんでもそうだけれど、ちょっとだけでも「ワカル」と面白くなるものです。導入本としていいように思います。

[ブクログ · ★★★★☆]

久々の読書

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

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

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

[ブクログ · ★★★★☆]

「正しくても常に証明できるとはかぎらない」という不完全性定理の証明のあらすじを解説する。ゲーデルの考え方とチューリングの考え方を教えてくれるが、対角線論法を使って証明している。雰囲気しかわからないが、へ〜と思う。

[ブクログ · ★★★★☆]

チューリング機械と関連があるとは思わなかった。
不完全性定理を理解するためのつなぎのための本。
興味を持った人は巻末の読書案内の本へ

「ゲーデルは何を証明したか―数学から超数学へ」（E・ナーゲル、J・ニューマン著、林一訳、白揚社）
「ゲーデルの謎を解く」（林晋著、岩波科学ライブラリー）
「はじめての現代数学」（瀬山士郎著、ハヤカワ・ノンフィクション文庫）
「史上最大の発明　アルゴリズム　現代社会を作り上げた根本原理」（ディビィッド・バーリンスキ著、林大訳、ハヤカワ・ノンフィクション文庫）
「ゲーデルの世界　完全性定理と不完全性定理」（黄瀬健、横田一正著、海鳴社）
「チューリングを読む　コンピュータサイエンスの金字塔を楽しもう」（チャールズ・ぺゾルド著、日経BP社）
「計算可能性・計算の複雑さ入門」（渡辺治著、近代科学社）

[ブクログ · ★★★★☆]

ゲーデルの不完全性定理と、チューリングの停止問題について、証明のディテールに立ち入ることなく、本質的な意味と歴史的な意義を分かりやすく伝えている。ゲーデル数の構成法について概略を述べつつ、「ゲーデルの証明は難解だ」と言い切ってくれるところが頼もしい。様相論理における□（必然性）と◇（可能性）のオペレータを、□（証明可能）と◇（整合的である）のように読み替えることで、第二不完全性定理を10行程度で証明できるとする1994年のブロースの結果は、今まで知らなかったけど、とても興味深い。
あと、ゲーデルを語る上で欠かせない、1930年代の「論理主義」「形式主義」「直観主義」のイデオロギー闘争をあえて無視し、「ラッセルの希望を打ち砕いた」という表現にとどめたことは、著者のサイエンスライターとしての力量を際立たせていると思う。「ヒルベルトとの確執」という不毛な地雷原に焦点が当たることのないよう、ヒルベルトに言及する際は腫れ物に触れるがごとく慎重に徹しているところが、何とも愉快である。純粋数学者は、今でもヒルベルトの「形式主義」のシンパが大多数だし、ゲーデルの価値観を嫌う人も多いからね。（何を隠そう、私も「形式主義」のシンパなのだが…）

[ブクログ · ★★★☆☆]

「不完全性定理とはなにか」
ゲーデルが証明した、「算術を含むシステムは自ら矛盾しないことを証明できない」という内容についての解説である。
20世紀初頭にラッセルが構築しようとしていた「数学の公理化により論理学からすべての数学を統一して導く」という壮大な計画が、ゲーデルの一撃により頓挫してしまった。
結局ゲーデルは「真であること」と「証明できること」が必ずしも一致しないことに気づき、「この命題は証明できない」を証明したということになる。
当時の数学界の状況や歴史的に何をやろうとしていたのか、いろいろな注釈を含めて読めば内容はそれなりにわかるが、なるほどと思う反面、少しごまかされたような気がしないでもない。カントールの無限集合やチューリングの計算可能性など関連した内容も解説されておりなかなか面白い。
結局は無限についての話に収束するような気がする。

[ブクログ · ★★★☆☆]

無理でした。志望学部のために、無理やり理系に進んだ自分だから、数学に対する親和性が低いことは疑うべくも無い。そんな奴でも、竹内薫の説明力にかかれば、とんでも難しい理論も理解出来ちゃうかも⁉︎みたいな期待を抱いた自分が甘かったです。結構早い段階で挫折しちゃいました。というか、いきなりここに飛びつくんじゃなく、もっと根幹の部分から復習していかないとダメですね、当たり前だけど。積読にはしといたけど、リトライする機会、訪れないんじゃないかな、みたいな。

[ブクログ · ★★★☆☆]

結局難しくって証明を理解できなかったんだけど、少なくとも不完全性定理ってのがどんなものなのか、どんな学者が唱えたのか、それと数学や論理学の話について面白く書いてて導入の本としてはとても良かったと思う。
これきっかけに数学とかもう一回勉強し直したくなった。

[ブクログ · ★★★☆☆]

コンピュータのプログラムがとまるかとまらないかを判定できるかという例から始めて、わかりやすく不完全性定理の説明がされている。わかりやすくかいたところで結局難しいので、本気で読む気がある人じゃないとやっぱり理解できないだろう。

[ブクログ · ★★★☆☆]

モヤモヤ感ばかりの入門書とチンプンカンプンの専門書を繋ごうとした意欲は買う。
それでもやはり、準備段階が終わった後の本論になるとかなりわかりづらい。各人物の歴史などは省いて、もっと解説に正面切っても良かったかと思う。