「ソフトウェアが正しく動作することを数学的に証明することは不可能であることが、数学的に証明されている」という話をたまに耳にしますが この証明が記述され…

「ソフトウェアが正しく動作することを数学的に証明することは不可能であることが、数学的に証明されている」という話をたまに耳にしますが この証明が記述されている文章を探しています。 回答者個人の意見は求めていません。 なお、以下のような回答はご遠慮願います。 ・提示されたURLのページのどこをみればいいのかわからない回答 ページの内容が膨大な場合は、せめてどのあたりをみればいいのか示してください。 ・自信なさげな回答 (「と思います」「かもしれません」「定かでない」など)

[popona]

チューリングマシンか～。もう忘れかけ

[smoking186]

ソフトウェアをプログラムと読み替えるとチューリングマシンの計算の限界の話になるか。