質問: 「ソフトウェアが正しく動作することを数学的に証明することは不可能であることが、数学的に証明されている」という話をたまに耳にしますが この証明が記述されている文章を探しています。 回答者個人の意見は求めていません。 なお、以下のような回答はご遠慮願います。 ・提示されたURLのページのどこをみればいいのかわからない回答 ページの内容が膨大な場合は、せめてどのあたりをみればいいのか示してください。 ・自信なさげな回答 (「と思います」「かもしれません」「定かでない」など)
回答: $B%^%A%,%C%F%k7O$N?M!9(B 3番目の方が紹介している2番目のサイトは、「区体論」という有名なトンデモです。残念ながら読んでもあまり意味はありません。 http://www.shayashi.jp/HistorySociology/HistoryOfFOM/Books/books... �Q�[�f���{���ꂱ�� チューリングの停止問題はゲーデルの不完全性定理と等値の命題です。不完全性定理についてはよい解説書や教科書がいくつかあります。そういった本を活用するとよいでしょう。 このページは、優秀な日本の数学基礎論の研究者である林先生の不完全性定理関連書の書評ページです。参考にしてください。