Michael Sipser の計算理論入門の中で、彼は次のように述べています。
「一部の言語は、決定不可能であるか、チューリング認識さえできません。これは、数え切れないほど多くの言語が存在するにもかかわらず、数え切れないほど多くのチューリング マシンしか存在しないためです。各チューリング マシンは単一の言語を認識でき、チューリング マシンよりも多くの言語が存在するため、一部の言語は認識されません。任意のチューリング マシンによって」(178)。
チューリング マシンは、任意のコンピューター アルゴリズムをシミュレートできる仮想マシンではありませんか? 理論的には、思いつくアルゴリズムは無数にあるのではないでしょうか? この概念に頭を悩ませています。「私が5歳のように説明してください」という答えは大歓迎ですが、もちろん、助けがないよりはましです。