不完全性定理 1930年頃

一般的に言って、
「数学的に証明された」ことについては、もう議論の余地はない。

どんなに年月が経とうと、決して反論されることもなければ、
科学理論のように、よりすぐれた理論に取って代わられることもない。
主義主張にも善悪にも関係なく、また、どんな嫌なヤツが言ったとしても、
数学的に証明されたことは常に正しい。

まさに絶対的な正しさ。
「数学的証明」こそ、永遠不変の真理なのである。

だからこそ、数学を基盤にし、証明を積み重ねていけば、
いつかは「世界のすべての問題を解決するひとつの理論体系」
「世界の真理」
に到達できるのではないかと信じられていた。

さて、1930年頃のこと。
数学界の巨匠ヒルベルトは
「数学理論には矛盾は一切無く、
 どんな問題でも真偽の判定が可能であること」
を完全に証明しようと、全数学者に一致協力するように呼びかけた。
これは「ヒルベルトプログラム」と呼ばれ、
数学の論理的な完成を目指す一大プロジェクトとして、
当時世界中から注目を集めた。

そこへ、若きゲーテルがやってきて、
「数学理論は不完全であり、決して完全にはなりえないこと」
を数学的に証明してしまったから、さあ大変。

ゲーデルの不完全性定理とは以下のようなものだった。

1)第1不完全性原理
 「ある矛盾の無い理論体系の中に、
  肯定も否定もできない証明不可能な命題が、必ず存在する2)第2不完全性原理
 「ある理論体系に矛盾が無いとしても、
  その理論体系は自分自身に矛盾が無いことを、
  その理論体系の中で証明できない」

数学的証明は難しいので、要点を簡単に言おう。

たとえば、ボクが、「ボクは嘘つきだ」と言ったとする。

もしこの言葉が「真実」であれば、ボクは「嘘つきである」ことになるが、
そうすると「嘘つきなのに、真実を言った」ことになってしまい、
おかしなことになる。
一方、この言葉が「嘘」だとすれば、
ボクは「正直者である」という事になるが、
そうすると、「正直者なのに、嘘を言った」ことになってしまい、
おかしなことになる。

結局、ボクの言葉が、真実でも、嘘でも、
おかしなことが発生してしまうのだ。

これは、
「自分自身について真偽を確かめようとするときに
 発生してしまうパラドックス」
であることから、
一般に「自己言及のパラドックス」といわれている。

ちなみに、「ボクは正直者だ」と言った場合でも、似たようなことになる。
まず、この言葉が「真実」だった場合、
正直者が「自分は正直者だ」と真実を言ったことになるので、
問題なく成り立つわけだが、
この言葉が「嘘」だった場合でも、
嘘つきが「自分は正直者だ」と嘘を言ったことになるので、
これまた問題なく成り立ってしまうのだ。

つまり、「ボクは正直者だ」という命題は、
真でも偽でも、どちらでも成り立ってしまい、
結局、真とも偽とも決められないのである。

ようするに、
『おれって正直者(嘘つき)なんだよねー』と、
 自分で自分のことを言及したところで
 自分では、その言葉の正しさを絶対に証明できない、って話だ。

このような「自己言及パラドックス」が、数学においても、
同様に発生することが証明されたのである。

それは、すなわち、
一見すると、完全無欠に見える数学理論の中にも、
「真とも偽とも決められない命題」「証明も反証もできない命題」が
含まれていることを意味する(第1不完全性原理)。

そして、数学理論において、証明不能な命題を含むということは、
「正しいとも、間違っているとも言えない不明な領域」が
数学理論の中にあるということなのだから、
数学理論が「自らの理論体系は完璧に正しい」と証明することは
そもそも不可能なのである(第2不完全性原理)。
 
この不完全性定理は、数学のみならず、
理論体系一般すべてに適用することができる。
そのため、哲学者、科学者、法律家など
「論理的に突き詰めていけば、
 どんな問題についても真偽の判定ができ、
 それを積み重ねていけば、
 いつかは真理に辿り着けると信じていた人々」
に大きな衝撃を与えた。(ゲーデルショック)

不完全性定理は述べる。
「どんな理論体系にも、証明不可能な命題(パラドックス)が必ず存在する。
 それは、その理論体系に矛盾がないことを
 その理論体系の中で決して証明できないということであり、
 つまり、おのれ自身で完結する理論体系は構造的にありえない」

我々が、理性により作り出した理論体系が真理に到達することは決してない。
なんと、このサイトが本になりました!
本だと、もっと読みやすいですよ〜(編集者のチェックが入っているので)

4576061844 「哲学的な何か、あと科学とか」
飲茶

送料無料で注文できます
Amazon 楽天

好評につき、2冊目がでました!(書き下ろし)

4576061844 「哲学的な何か、あと数学とか」
飲茶

送料無料で注文できます
Amazon 楽天  MIXIのレビュー


当サイトの管理人は、会社を辞めて、起業しました。不安定な生活に突入です(T_T)
当サイトを気に入った方は、申し訳ないですが、
以下のサイトで、ご協力していただけると助かります……生活が。

飲茶のネットで収入