転載この記事で私はほとんどの答えを知っています
厳格な証明は、あなたが「形式言語」(使用できる形式言語を証明するために):
計算では、理論と計算複雑性理論は、それぞれ「計算問題」であり、「形式言語」、文字列の集合として記載されています。例えば、グラフが無向連結グラフ問題であるかどうかを決定する:我々は、すべての無向グラフのセットの説明を書くことができます。
チューリングマシンは、文字列のみを受け入れることができるので、角括弧は、ここで発現させ、図の「コード」。簡単にするために、我々はすべて使用実際のコンピュータは、アルファベット$シグマ= {0、1} $ので、オブジェクトの記述である「コーディング」バイナリ文字列を使用します。
我々はチューリングマシンを構築することができた場合は、「入力」を決定、このセット(会員と非会員)、その後、私たちは「機械をチューリング」我々が使用することを言うことができるが、説明に所属することができ、「形式言語を」「決定」この問題を計算するために、「アルゴリズム」、この機能「演算」「計算」に対応するが、それ以外の場合は「計り知れない。」であること (注1)
我々は、すべての「計算機能」コレクションが含まれているものを持っているのであれば、このコレクションは可能でしょうか?
なぜなら
- すべての「計算機能は、」それを計算するために、対応する「チューリングマシンは、」常にあります
- 各「チューリングマシン」は、000010のように、0,1の異なる配列に「符号化」することができ...
- 0,1の配列、即ちバイナリは、常に進数に変換することができます
したがって、私たちのコレクションは、実際にZ $ $大きな整数(等電位)と同じであり、私たちは、このセットは$シグマ^ {*} $のように表されている置きます。$ Z $は、私たちが「計算機能」(注2)の無限の数を持つことができますので、「無限可算(可算無限)」を知っていることは容易です。
「計算」は何でしょうか?
この問題は、我々はそのような配列の$ {000、010} $ 0,1セットのような数を持って、同一視することができますか?どのように多くのこのセットのサブセット$シグマ^ {*} $これ?数学的な言語で記述されたビッグボックス 機能の計算よりも計り知れない機能を証明するためにどのように「ほとんど知っていますか」?-ブログの威厳は、陳氏の $のパワーセットの$シグマ^ {*} $の可能性を求めている| P(シグマ^ {*} )| $。
$大きさ| P(Z)| $シグマ^ {*} $ $および$はそれほど問題には$を見つけることと等価である、のようなZ電位であるからです。よるとカントールの定理、セットの「可算無限」電力設定は「無限に数えきれない(非可算無限)」です。(注3)
よるとカントールの定理大きな「無限可算集合」よりも、「無限の非可算集合」。
一方、「無限の非可算集合」マイナス「無限可算集合は」後にまだある「無限の非可算集合。」(注4)
したがって、「機能の計り知れないセット」、すなわち、「コンピューティング問題セット」と「計算機能セット」不良は、それはまだ「無限非可算集合」で依然として「無限可算集合」「計算機能のセットよりも高いです「大。
「計算機能」を超えるため、「計算可能でない機能」。
QED。
注意:
- 「計算可能な関数が」「直感的な引数アルゴリズムであり、-論文は、チューリングアロンゾ・チャーチチューリングマシンによって、アルゴリズム計算いかなる問題も計算することができます疑いがあります」。しかし、チューリングマシンは、他のコンピューティング・モデル「を含むだけのコンピューティングモデルではないラムダ演算子 - 」、「$ミュー$ 再帰関数コンピューティングパワーで同等の「チューリングマシン」をしているなど、」。
- 「すべての計算機能」の実証済みのセットは、「無限可算集合」である多くの方法がありますが、単に「自然数」のいずれかと「ダブルショット」に見つけます
- 直接、カントールの対角線の方法を使用することができる(カントールの対角線論法を証明するために)「すべてのコンピューティングの問題は、」「無限非可算集合」の集合体であります
- 矛盾することにより許可証を取得することができます
- ラテックスは、ほとんど賞賛を知ることができます
- アレフ数 - ウィキペディア