![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
No.1ベストアンサー
- 回答日時:
チャイティン氏の理論は「アルゴリズム的情報理論」と呼ばれ、外見上は「コンピュータ・プログラム理論」の体裁ですが、その数学的帰結はいわゆる「証明論」や「超数学」等の数学の根本を扱う分野にそのまま適用することができるとされています。
Ωの定義を普通の言葉で言い直せば、「ある公理系内で無作為に一つの命題を選び出したとき、その命題がその公理系内で決定(証明又は反証)可能である確率」であり、またチャイティン氏の言う「ランダム」とは「計算不可能」、広義には「その命題なり数なりを導出する方法が一切存在しない」ということと同義のようです。
従って、「真理性Ωはランダムである」を言い直せば、
「ある公理系内で無作為に一つの命題を選び出したとき、その命題がその公理系内で決定可能である確率は、(実際には決まっているはずなのに)一切いかなる方法によっても導出することが出来ない」
ということになるかと思います。さらに具体的に言うと、
「Ωを2進数で表したとき、小数点以下のある特定の範囲以降の各桁が1であるのか0であるのかを、計算によって決定することは不可能である」
ということです。(ちなみに、その各桁が何であるかを決める数学的根拠を提示することが不可能であるということから、この各桁の並び方をコイン投げの裏表の出方に例え、そのことをもランダムと言う言葉で表しています。)
このように言うとさほど大きな重要性が感じられないかもしれませんが、「Ωがランダム(計算不可能)である」という事のインパクトは実際にはもっと大きく、そこから導かれる帰結にさらに大きな意義があると考えているようです。そのような重要な帰結の一つが、ゲーデルのG命題よりもさらに重要な「絶対的に決定不可能な命題」の提示であり、そのような命題にかかわる方程式を彼は実際に論文で書き下しているようです。
詳しくは(もしまだお読みでなければ)チャイティン氏の著作、「セクシーな数学」や「メタマス!」がお勧めです。アマゾンや楽天でいつでも入手できると思います。
この回答へのお礼
お礼日時:2007/12/02 00:40
回答ありがとうございます。ネットで検索しても詳しく説明したところがなく、困ってました。
ぱぱっと読んだだけじゃ理解できなかったのでこれからじっくり読んで理解してみます。
チャイティンの本に関してはあったことすら知りませんでした。読んで見たいと思います。
本当にありがとうございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 政治 選挙はランダム投票でするべきだろう。 ランダム投票とは、国民から無作為に投票者を抽出する投票制度。 4 2022/06/24 17:09
- 数学 既存の数列のランダム性について(初歩的質問) 2 2022/06/07 20:04
- 数学 京都大学教授が証明。 「ABC予想・宇宙際タイヒミューラー予想」を、ザックリで説明お願致出来ますか? 1 2022/04/11 20:52
- 日本語 【合理主義】という言葉の意味について教えてください。 4 2022/08/30 23:21
- Excel(エクセル) エクセルで不可日と祝祭日の考慮してランダムに毎日の当番表を作成したいと思っています。 1 2023/07/12 21:14
- C言語・C++・C# c言語の質問です。 ランダムに4桁の暗証番号を出力するプログラムを作ったのですが、4947→4973 3 2022/04/16 16:47
- ドライブ・ストレージ CrystalDiskmarkの測定結果の判定をお願いします 1 2023/02/11 17:42
- 数学 ゴールドバッハの予想の部分証明について 4 2022/06/04 13:53
- Excel(エクセル) ランダムで四択の問題を作る場合にvbaで何を学べばいいでしょうか。 1 2022/04/14 16:45
- 数学 どっちと思いますか 4 2022/10/10 11:16
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
写真の命題1.3の証明についてで...
-
数学の記号"⇔" "∴"の使い方を教...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
「帰納法とは、本来前提となる...
-
数学に詳しい人教えてください...
-
命題の否定でわからないところ...
-
無理数
-
任意の実数とは?
-
命題の真偽
-
命題の真偽を調べよ。①直角二等...
-
命題
-
【 数A 集合を用いた命題の真偽...
-
命題と論理式の違いは何でしょ...
-
命題がわかりません!!
-
ゲーデルの第1不完全性定理の具...
-
ある表現が命題かどうかを示す...
-
limsup(sinN)=1?
-
g◦fが全射で、さらにgが単射な...
-
数学 命題と条件 xは実数とする...
おすすめ情報