07/09/19 21:11:25
>>435
>>433 と同様の疑問と思われます。
> f>gを有限時間内に決定できる一般的なアルゴリズムは存在
> しない様に思いますがいかがでしょう。
私は上記アルゴリズムが存在するという主張はしていません。
関数を決定するアルゴリズムが存在するかどうかに関わらず、
>>430 で定義された関数は計算可能であると思いますがいかがでしょう。
計算可能な関数から特定の１個を選んでいるので当たり前です。
----
関数を決定するアルゴリズムが存在するかどうかは今のところ私にはわかりません。
10000文字以内で出来る関数は有限個しかないので、
「10000文字以内のアルゴリズムがわかっている２つの関数の大小比較が出来ないようなものが存在するか」
という問題と同値になります。