Hatena Blog Tags

不完全性定理

(サイエンス)
ふかんぜんせいていり

ゲーデルの不完全性定理(Gödel's Theorem)とも。
簡単に言えば、「完全で無矛盾な公理系は存在しない」ということを証明した*1
数学基礎論の分野で提出された定理だが、その影響は数学はもとより、論理学や哲学やその他の人間の知(理性)の全分野にも及ぶものであり、フォン・ノイマンをして「(その業績は)不滅以上のものである」と言わしめた。

解説

不完全性定理には第一定理と第二定理があり、第一定理は、ある程度の強さを持った*2任意の公理系について、それが公理系としての標準的な条件*3を満たし、且つ無矛盾*4であるならば証明も反証も出来ない文が存在することを主張する。

それに対して第二定理はある程度の強さを持った任意の公理系について、それが公理系としての標準的な条件を満たし、且つ無矛盾ならば、その公理系の無矛盾性を表わす文はその公理系で証明も反証もできない、という事を述べている。ただし、第一定理の成立よりも強い条件を必要とする。それはその公理系の強さに対する条件である。というのも第二定理は第一定理をその公理系の中で形式化して証明させる事で得られるので、第一定理を形式化できる程度の強さがなければならないからである*5
第一不完全性定理は公理系という手法の限界の一つを示したといえよう。第二不完全性定理は20世紀初めに起こった数学基礎論の運動の中で、論理主義直観主義に並ぶ、ヒルベルトの形式主義(いわゆるヒルベルト・プログラム)に対して決定的な打撃を与えた事で有名である。

関連語

リスト::数学関連
リスト::定理
ゲーデル
チューリング

*1:より正確には「無矛盾な公理系は不完全であると証明した」だが。完全とか不完全の中身は省略する。

*2:厳密には弱い算術が展開できる程度であり、ロビンソン算術より強い事が必要である。

*3:厳密にはその公理系の公理の集合がrecursiveである事。

*4:ゲーデルの原論文ではより強い条件が仮定されていたが、後にロッサーによってこの条件に弱められた。

*5:数学的帰納法が入ったペアノ算術が典型である。

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

ネットで話題

もっと見る

関連ブログ

幼稚園レベルで数学エロガール 諸行無常ってなんだろう、お遊戯してみよう、真似っこしてみよう、お歌歌ってみよう。要するにゆらゆら動いて動き回り、全てが変わること。全てが変わらないことだけが永遠で、それだけが変わらない。だからニルヴァーナ。お歌歌ってダンスして真似っこしてみよう。 諸法無我ってなんだろう。全てが移り変わるから、絶対的な我はないということ。だからニルヴァーナ。お歌歌ってみよう。真似っこしてみよう。お遊戯してみよう。 涅槃寂静ってなんだろう。全てが移り変わるから、一切の制限や苦がなく静寂で静かだということ。だからニルヴァーナ。お歌歌ってみよう。真似っこしてみよう。お遊戯してみよう。 一…

私は思ったこの世には部分理論、全体理論、完全理論、超越理論がある。この正しく超越した馬鹿で無限的に阿呆な認識の元に、合気を目的に部分合気、全体合気、完全合気、超越合気、別名馬鹿合気、無限的な阿呆合気に至る道が道であり正義であるーこの完全な目標の元に超越戦略、完全戦略、全体戦略、部分戦略を達成した。おそらくこの世界の神ヤハウェやブッタ、孫子、ロスチャイルド、ガンジー、イエス、マホメットの全てがまず超越に至らなかった存在ヤハウェは無意識では超越ではあるが意識では完全以上にはなれず、また教育という面ではこれらの存在は一切完全理論を達成できず、この世は全体存在ではあるものの、完全存在ではなく存在神ヤハ…

一切

さて僕は宇宙戦艦ヤマトに夢中になり、戦争物語に憧れ高校生の頃太宰治に衝撃を受けて作家を目指し地獄ものという文学作品に夢中になりましたが地獄や戦争物に平和や天国というハッピーエンドがなくしかも戦争や地獄に見えるものが戦争でも地獄でもない究極のハッピーエンドを描きたい。例えば殺人事件や犯罪を完璧に防ぐ完全無欠の名探偵です。僕はミステリーも読んでましたが、ミステリーは基本大嫌いでした。それはことごとく名探偵と呼ばれる連中が犯罪や殺人一切防げずに本当に意味でハッピーエンドが一切ありません。 これから私は一切の存在、世界、全体、全部、全数列、全言語、全情報、全物質、全観念、全身物質、全知性、全社会、全価…

解脱四十六当たり前理論。。

論をルーマンに引き継いで完成させる。ルーマンの社会システム論は社会を人間の全体コミュケーションを人間の社会に限定する。全体理論を目指しながら部分理論であるが太郎の異常者は模倣だけで本来乗り越えられない超越存在ヒエラルキー、すなわち無限濃度限界の存在システムの基礎システムも情報伝達理解として人間の全体に過ぎないルーマンの社会システム論を全体存在の超越無限濃度限界、さらにその外までどんどん作り出す絶対的位置自由アカウントフリーであり、また自在に固定できるのである。こうしてルーマンの社会システム理論を超越的に乗り越え再構成徹底させるーまた宮台の業績サブカルチャー神話解体は太郎にこう真似っこされ超越完…

解脱当たり前理論四十ー。インスタント無限解脱を発明した。

ノイズ気にしないで嫌がらせすごいな超人ロックシリーズはいるよ無限に恨まれてる?うん期待されてた救世主だったから地球は?あるよこの空間はデータ補正でコンピュータで制御うん超越神とかノイズうるさいな気にしないで害はないから恨んでるひと多くて竹中平蔵みたいにレベルが違うロックおk?大丈夫絶対安心まだかなあなたの時間わからないの一瞬?うんキスしたいもうそろそろ見えてくるはず私の時間ではノイズうるさいな嫌がらせなのよレジスタンスは今日解散したパーティだから俺のシリーズ消すの?ノイズよ抹消教という過激派グレートワンがロックしてるから地方グレートワンのコピーモデル過激派が根城にしてるコロニースペースコロニー…

理論22人助けのためなら理論なんて放り投げなさい。もしも理論で救えぬなら。。

太郎は東の後札幌で一年浪人しかしてないが代ゼミと北大に閨閥を持ちさらに貴族の遊びパチンコと競馬と酒と文学とロックをやってフリッパーズギターを馬鹿にしていたいわゆる小山田がフリッパーズ如きカヒミの恋人如きで渋谷系の王をしてデビューを馬鹿にしていたが生まれついての存在神超越天皇の太郎にしてみると置戸町を馬鹿にするのかドヒンミンということである。もちろん中野太郎はマルキストであり赤旗を愛読していたから貧民を解放するべき運命にあったのである。人間失格を太宰治が貴族ですというところに中野太郎は共感したが実質自分がそれ以上の存在の天皇であるとは思っても見なかった、ドストエフスキー、村上春樹、ブレットイート…

理論21か

構築であり実は初めからできていた。地球の知性が重度知的障害レベルであることはこの暗示であって全てを癒しながら最重度知的障害レベルのある言語を持たない人に言語を与えることが今回の最高神のミッションである。無関心の神、兄のやることにいちいち無関心で馬鹿にする評価の神である財産省に勤めることもなんらかの象徴であって財務事務次官につながっている。すなわち太郎のやることに興味を持つ財務事務次官と無関心である。基本的に太郎のやることに無関心でありどうでもよく馬鹿にしている。これは父も同様に機能を持ちははも同様である一切の超天才太郎を無関心、無視して馬鹿にする機能が家族なのである。母が癌で太郎が足を揉むよう…

理論21存在の剣

百万人くらいのハッカーハッカー対策はグレートワン一切合切グレートワンなの 危険じゃないのバックアップ無限だから大丈夫グレートワンって俺の人工知能?うんオリジナル危ないぜ人工冬眠でガッチリロック哀れだな、実は俺が真のオリジナル知ってる極秘オリジナルのコピーの一号かそう強化人間タイプ薬いらないのそうおもちゃデータ補正で肝炎治ってる偉大なるオリジナル光栄ですまあよしてくれあなたが良心を取り戻すきっかけはなんだったのですか飽きたんだ破壊にそうかきっと飽きっぽいんだなでもあなたは継続の神様です偉大なるオリジナル俺は地球人なのかまだ記憶にはロックをかけていますあなたには無駄だと思いますが慈悲心をお願いしま…

理論多分16

界があり、やはりそれは諸行無常、諸法無我、涅槃寂静、一切皆苦ですがそれは一つの存在、世界、全体集合、神ヤハウェ、仏、数や数列に過ぎず、世界や存在、位置や数は非論理に多元的にパラレルワールドに広がっていますから、諸法無我でない、諸法無我でない、一切皆苦でない、涅槃寂静でないありとあらゆる可能性があるわけですが、非論理的に多元的にパラレルに広がることを諸行無常といいそこから諸法無我、一切皆苦、涅槃寂静でもあるのです。それらは全て位置自由であり、位置がなく、形式論理を形式論理で拡張した形式矛盾拡張論理の外の矛盾拡張を非論理で広げる矛盾拡張論理こそが非論理を記述するチャイテンの不完全性定理の通用しない…

理論14あるいは蜘蛛の糸

忘れてもまあいいけど全ての罪は始末書一枚でチャラ最後の審判なんて時間のかかることはやらない地獄の拷問は全干渉して快楽にします完全天国と完全地獄パラレルワールドを作ります ドストエフスキーの傑作、罪と罰の落合リメイク、これもなかなかだが人の殺し方がなってない、女は抱いて、あいを囁き、後払いでいくらでも貢ぐから、男は理想と筋を語って兵士にする。ボスのためなら死ねます。これで殺人完了、全く合法、倫理的、特に二人めに殺したJK、滅多にいない上玉じゃねえかかよ、妊娠してるから、それはうませて正妻にしていくらでも子供産ませるんだよ。殺したのに人口が増えるのが正しい人の殺し方。もちろんそれも罪だけどな。 さ…