カントールの対角線論法との関係とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > カントールの対角線論法との関係の意味・解説 

カントールの対角線論法との関係

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/11 15:10 UTC 版)

停止性問題」の記事における「カントールの対角線論法との関係」の解説

対角線論法は、集合Sからその冪集合P(S)への全単射存在しない(カントールの定理)事を示す為にゲオルグ・カントール使った論法である。 実は上述の証明対角線論法利用している。以下簡単の為、プログラム入力全て自然数とする。前述したようにプログラムは0と1からなる数字書き表せるので、プログラム全体集合自然数全体集合 N {\displaystyle \mathbb {N} } と自然に同一視できる。本当は N {\displaystyle \mathbb {N} } の中にはプログラム対応していないものもあるが、簡単の為その辺事情は略する。 ϕ : N × N ↦ { 0 , 1 } {\displaystyle \phi :\mathbb {N} \times \mathbb {N} \mapsto \{0,1\}} を次のように定義する: A(x)が停止すればφ(A,x)=1、そうでなければφ(A,x)=0。 以下φ(A,x)の事をφA(x)と定義する。 g : N ↦ { 0 , 1 } {\displaystyle g:\mathbb {N} \mapsto \{0,1\}} を、g(A)=¬φA(A)により定義する。ただしここで「¬」は0と1を反転する写像。すなわち¬0=1、¬1=0。 すると対角線論法により、g=φMとなるMは存在しないさて、仮に停止性問題を常に正しく解くプログラムHが存在するとする。M(A)を、H(A,A)=YESなら停止せず、H(A,A)=NOなら0を出力し停止するプログラムとすると、MとHの定義よりg=φM成立し矛盾。したがって停止性問題を常に正しく解くプログラム存在しない

※この「カントールの対角線論法との関係」の解説は、「停止性問題」の解説の一部です。
「カントールの対角線論法との関係」を含む「停止性問題」の記事については、「停止性問題」の概要を参照ください。

ウィキペディア小見出し辞書の「カントールの対角線論法との関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「カントールの対角線論法との関係」の関連用語

カントールの対角線論法との関係のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



カントールの対角線論法との関係のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの停止性問題 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS