回答編集履歴
1
時間は有限、という前提が抜けていました
test
CHANGED
@@ -14,4 +14,4 @@
|
|
14
14
|
|
15
15
|
|
16
16
|
|
17
|
-
なお、いちばん最初の「同じ値を与えれば同じ結果を返す」という意味での等しさは、100%正しく判定する方法は**存在しない**ことが証明されています。大雑把に言えば、「未解決問題の解がないか探し続け、見つけた段階で停止する関数」と「ただ無限ループする関数」を比較して、有意な結果が得られるならそちらのほうが驚きです。
|
17
|
+
なお、いちばん最初の「同じ値を与えれば同じ結果を返す」という意味での等しさは、有限の時間内で100%正しく判定する方法は**存在しない**ことが証明されています。大雑把に言えば、「未解決問題の解がないか探し続け、見つけた段階で停止する関数」と「ただ無限ループする関数」を比較して、有意な結果が得られるならそちらのほうが驚きです。
|