
No.1ベストアンサー
- 回答日時:
チャイティン氏の理論は「アルゴリズム的情報理論」と呼ばれ、外見上は「コンピュータ・プログラム理論」の体裁ですが、その数学的帰結はいわゆる「証明論」や「超数学」等の数学の根本を扱う分野にそのまま適用することができるとされています。
Ωの定義を普通の言葉で言い直せば、「ある公理系内で無作為に一つの命題を選び出したとき、その命題がその公理系内で決定(証明又は反証)可能である確率」であり、またチャイティン氏の言う「ランダム」とは「計算不可能」、広義には「その命題なり数なりを導出する方法が一切存在しない」ということと同義のようです。
従って、「真理性Ωはランダムである」を言い直せば、
「ある公理系内で無作為に一つの命題を選び出したとき、その命題がその公理系内で決定可能である確率は、(実際には決まっているはずなのに)一切いかなる方法によっても導出することが出来ない」
ということになるかと思います。さらに具体的に言うと、
「Ωを2進数で表したとき、小数点以下のある特定の範囲以降の各桁が1であるのか0であるのかを、計算によって決定することは不可能である」
ということです。(ちなみに、その各桁が何であるかを決める数学的根拠を提示することが不可能であるということから、この各桁の並び方をコイン投げの裏表の出方に例え、そのことをもランダムと言う言葉で表しています。)
このように言うとさほど大きな重要性が感じられないかもしれませんが、「Ωがランダム(計算不可能)である」という事のインパクトは実際にはもっと大きく、そこから導かれる帰結にさらに大きな意義があると考えているようです。そのような重要な帰結の一つが、ゲーデルのG命題よりもさらに重要な「絶対的に決定不可能な命題」の提示であり、そのような命題にかかわる方程式を彼は実際に論文で書き下しているようです。
詳しくは(もしまだお読みでなければ)チャイティン氏の著作、「セクシーな数学」や「メタマス!」がお勧めです。アマゾンや楽天でいつでも入手できると思います。
回答ありがとうございます。ネットで検索しても詳しく説明したところがなく、困ってました。
ぱぱっと読んだだけじゃ理解できなかったのでこれからじっくり読んで理解してみます。
チャイティンの本に関してはあったことすら知りませんでした。読んで見たいと思います。
本当にありがとうございました。
お探しの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
今、見られている記事はコレ!
-
弁護士が語る「合法と違法を分けるオンラインカジノのシンプルな線引き」
「お金を賭けたら違法です」ーーこう答えたのは富士見坂法律事務所の井上義之弁護士。オンラインカジノが違法となるかどうかの基準は、このように非常にシンプルである。しかし2025年にはいって、違法賭博事件が相次...
-
釣りと密漁の違いは?知らなかったでは済まされない?事前にできることは?
知らなかったでは済まされないのが法律の世界であるが、全てを知ってから何かをするには少々手間がかかるし、最悪始めることすらできずに終わってしまうこともあり得る。教えてgooでも「釣りと密漁の境目はどこです...
-
カスハラとクレームの違いは?カスハラの法的責任は?企業がとるべき対応は?
東京都が、客からの迷惑行為などを称した「カスタマーハラスメント」、いわゆる「カスハラ」の防止を目的とした条例を、全国で初めて成立させた。条例に罰則はなく、2025年4月1日から施行される。 この動きは自治体...
-
なぜ批判コメントをするの?その心理と向き合い方をカウンセラーにきいた!
今や生活に必要不可欠となったインターネット。手軽に情報を得られるだけでなく、ネットを介したコミュニケーションも一般的となった。それと同時に顕在化しているのが、他者に対する辛らつな意見だ。ネットニュース...
-
大麻の使用罪がなかった理由や法改正での変更点、他国との違いを弁護士が解説
ドイツで2024年4月に大麻が合法化され、その2ヶ月後にサッカーEURO2024が行われた。その際、ドイツ警察は大会運営における治安維持の一つの方針として「アルコールを飲んでいるグループと、大麻を吸っているグループ...
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
数学の記号"⇔" "∴"の使い方を教...
-
「PならばQ」と「(Pでない...
-
難しい命題論理
-
ゴールドバッハ予想のような問...
-
命題と論理式の違いは何でしょ...
-
命題∀x:P(x)→Q(x)、∃x:P(x)∧Q(x...
-
高校数学:「なぜ確率と論理を...
-
命題 コロッケを食べない
-
「これで絶対に幸せになります...
-
論理学について
-
極値
-
論理式 条件法 裏
-
命題の真偽について。画像のよ...
-
lim[n→∞](1-1/n)^n=1/e について
-
三角関数の範囲について、 0≦x≦...
-
「無限の一つ前の数字は何?」...
-
高2の数学の対数関数です。 真...
-
全員と同じグループを経験でき...
-
これ教えてください。
-
dx/dy や∂x/∂y の読み方について
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
「PならばQ」と「(Pでない...
-
数学の記号"⇔" "∴"の使い方を教...
-
無理数
-
「4は素因数が2と3だけである」...
-
g◦fが全射で、さらにgが単射な...
-
ある表現が命題かどうかを示す...
-
恒偽命題は英語で何と言う?
-
数学において Pが偽、Qが真のと...
-
任意の実数とは?
-
ある等式⇔ある等式の逆数をとっ...
-
頭を切った円すいの体積と面積
-
真偽表(真理値表)について 今日...
-
a>b ⇒ a-b>0 の命題の逆と真偽
-
原則には、例外が付きものです...
-
簡単な論理の問題のはずが・・・
-
古典論理の否定について。
-
至急お願いします!
-
命題の否定でわからないところ...
-
命題
-
命題と論理式の違いは何でしょ...
おすすめ情報