09/12/21 23:50:39
>677
> 「プログラムの実行結果を、事前に予測する普遍的なプログラムは存在しない」
> ことを数学的に証明した。
その文章は不正確な表現だと思う。ただし、上に書いたように
「任意のプログラムが有限時間で停止するかしないかを有限ステップで
事前に判定できるプログラムは存在しない」ので
事実上、実行結果を事前に予測できる普遍的プログラムは存在しないと言える。
これはチューリングマシンやコンピュータの限界と言うよりは「形式論理」
そのものに存在する限界。
09/12/21 23:50:39
>677
> 「プログラムの実行結果を、事前に予測する普遍的なプログラムは存在しない」
> ことを数学的に証明した。
その文章は不正確な表現だと思う。ただし、上に書いたように
「任意のプログラムが有限時間で停止するかしないかを有限ステップで
事前に判定できるプログラムは存在しない」ので
事実上、実行結果を事前に予測できる普遍的プログラムは存在しないと言える。
これはチューリングマシンやコンピュータの限界と言うよりは「形式論理」
そのものに存在する限界。