ゲーデルの謎を解く 岩波科学ライブラリー6

林晋(著者)

• 販売会社／発売会社: 岩波書店
• 発売年月日: 1993/12/01
• JAN: 9784000065061

商品レビュー

2014/04/08

ゲーデルの定理について、その証明に深入りせずに、その意義についてていねいに説明しているところがこの本の特徴。
「無矛盾」と「完全性」というキーワードに対し、それぞれ「両方のプレイヤーに勝ちの可能性がある」、「「どちらも絶対に勝てない」ということはない」という説明はわかりやすいと思った。

2013/06/08

画なども用いた平易な類推で、不完全性定理のイメージを説明した書。

厚みは無いが、内容は凝縮されている。（伝聞だが、著者は最終的に文体を変えるという“禁じ手”まで使って原稿の枚数を減らしたらしい。）

ただし一つだけ、背理法について知っている（理解はある意味不要）ことが必要。ggrks！

入門と、後から理解を再確認するには適切な書であろう。

本棚に欲しい一冊。

2007/03/23

「理論体系には真だが証明できない数学的文章が存在する」「系の無矛盾性が証明できるならばその体系は矛盾している」という数学屈趾の哲学的難題、若き天才ゲーデルの不完全性定理を非常にわかりやすく解説した一冊。薄いのに濃度はとても濃い。カントールの集合論、ヒルベルト計画、対角線の悪魔などのキーワードも合わせて解説がなされており、加算無限とかチューリング機械とかフラクタルとかω無矛盾性とか、今をときめく訳の分からない数学キーワードを勉強する為の強力な一歩になる事は間違いない。完璧な理論が無いと言う事は、人間が理論以上の存在であることを表しているのか？論理で理論の壁を打ち破る事はできるのか？理論の集大成がコンピュータであるとするならば、コンピュータ（理論）は人間の理解を越える事は出来ない。となると、人間の理解は神のパズルを解くことは出来ない……ということになるのか？神の存在を示唆するものなのだろうか？