例えば、あるプログラムはが停止するかどうかを判定できるプログラムは存在しない。 例えば、あるプログラムが停止するかどうかを判定できるプログラムは存在しない。

この決定問題は計算機科学者アラン・チューリングによって８５年前に証明された。 この決定問題は計算機科学者アラン・チューリングによって８５年前に証明された。

（これはコンピューターサイエンスで一番有名な証明だろう。）つまり、コンピューターはがどんなに高くても、どんなに力があっても、できないことはまだある。 （これはコンピューターサイエンスで一番有名な証明だろう。）つまり、コンピューターがどんなに高くても、どんなに力があっても、できないことはまだある。

一般的な生活では、コンピューターまた携帯などには、どんなためのプログラムやアプリもあるだろう。 一般的な生活では、コンピューターまた携帯などには、どんなプログラムやアプリもあるだろう。

そして、存在していない場合は、誰かがそのプログラムがを作れるのだろう。 そして、存在していない場合は、誰かがそのプログラムを作れるだろう。