メむンコンテンツぞスキップ
芋出し画像

「ゲヌデルの䞍完党性定理」ずは䜕か "完璧な数孊"は䜜れないず蚌明した話

    「ゲヌデルの䞍完党性定理」ずいう蚀葉を聞くず、倧孊レベルの超難解な数孊のように感じたす。しかし、この定理が蚀っおいるこずを䞀蚀でたずめるず、実はかなりシンプルです。
    結論から蚀うず、クルト・ゲヌデルが蚌明したのは、 「『算数』ができるくらいのルヌルをどれだけ完璧に敎えおも、そのルヌルだけでは『正しい』ずも『間違い』ずも蚌明できない数匏が必ず存圚しおしたう」 ずいう事実でした。1931幎に発衚されたこの定理は、数孊界に倧きな衝撃を䞎えたした。


    そもそも数孊っお䜕でできおいる

    数孊ずいうず「数字を蚈算するもの」ずいうむメヌゞが匷いです。ですが実際には、足し算・匕き算のルヌル、蚌明のルヌル、「これは正しい」ず刀断する条件など、"決たりごず"の集たりでできおいたす。
    圓時の数孊者たちは、こう考えおいたした。 「ルヌルを完璧に敎えれば、数孊のすべおを説明できるのではないか」
    ぀たり、「真実なら必ず蚌明できる、間違いは蚌明できない」、そんな完党無欠の数孊システムを䜜れるず信じおいたのです。しかしゲヌデルは、「それは䞍可胜だ」ず瀺したした。


    ゲヌデルの"仕掛け"

    ゲヌデルは、数孊の䞭にある特殊な文章を構築したした。その内容をざっくり蚀うず、こんな感じです。

    「この文章は、このルヌルでは蚌明できたせん」

    奇劙な文章に芋えたすが、ここに倧きな仕掛けがありたす。

    • もし、この文章を"蚌明できた"なら 「私は蚌明できたせん」ず蚀っおいる文章が、実際には蚌明できおしたっおいるこずになり、矛盟が起きたす。

    • では、"蚌明できない"なら 「私は蚌明できたせん」ずいう内容が、実際に蚌明できたせん。぀たり、この文章の蚀っおいるこずは正しかったこずになりたす。

    ここに、恐ろしい事実が珟れたす。 「正しいず分かっおいるのに、このルヌルの䞭では蚌明も反蚌もできない」ものが存圚しおしたったのです。これこそが「䞍完党性定理」の栞心です。


    䜕がそんなに衝撃だったのか

    それたで倚くの数孊者は「数孊は完璧なシステムになれる」ず信じおいたした。しかしゲヌデルは、「算数ができるほどのルヌルを持぀䜓系には、必ず限界が存圚する」ず蚌明しおしたいたした。
    これは数孊にずどたらず、「人間は䞖界を完党に理解できるのか」ずいう哲孊的な問いにたで圱響を䞎えたした。


    さらに有名な「第二䞍完党性定理」

    ゲヌデルはさらに螏み蟌んで、こんなこずも瀺したした。
    「そのルヌル自身が、"自分は絶察に矛盟しおいない"ずは蚌明できない」
    ぀たり数孊は、自分自身に぀いお「このシステムは100安党だ」ず完党には保蚌できないのです。


    この定理は今も圱響を䞎え続けおいたす

    ゲヌデルの䞍完党性定理は、数孊・コンピュヌタ科孊・AI研究・哲孊・意識の研究など、さたざたな分野に今も圱響を䞎え続けおいたす。
    たずえばロゞャヌ・ペンロヌズは、「人間は"蚌明できない真実"を盎芳で理解できる。だから意識は単なるコンピュヌタではないかもしれない」ずいう議論にこの定理を掻甚しおいたす。


    最埌に䞀蚀でたずめるず

    ゲヌデルの䞍完党性定理ずは—— 「論理や蚈算によっお、䞖界のすべおを完党にシステム化するこずはできない」 ずいう、人類の知性そのものの限界ず可胜性を瀺す発芋でした。


    あなたぞのおすすめ