計算可能か否かを調べる再帰理論で用いるチューリングマシンでは停止するかしないかで判断するわけですよね

計算可能か否かを調べる再帰理論で用いるチューリングマシンでは停止するかしないかで判断するわけですよね？と言うことは複雑な双曲型偏微分方程式の解法での主表象とか、場の量子論での繰り込み処方での発散して計算不可能になる問題とかでも、この神託機械を使って分析できるもしくは分析して将来計算可能になるかも知れないのですか？

No.1 回答者： Tacosan 回答日時： 2024/07/10 13:48

文章の途中に出てくる「この神託機械」って, 何のことを指してますか?

あたりまえだけど, 「問題 X を解く神託」を持つ神託機械で「問題 X」は解ける. ただし, そのような神託機械で別の問題 Y が解けるかどうかは, また別の話だ.

No.2 回答者： Tacosan 回答日時： 2024/07/10 21:57

おっと,

「計算可能か否かを調べる再帰理論で用いるチューリングマシンでは停止するかしないかで判断するわけですよね？」
自体が意味不明だなぁ. 特に最後の「判断する」が, 一体何を「判断する」といっているのかわからん.

No.3 回答者： ありものがたり 回答日時： 2024/07/11 18:42

有限状態機械で、実数の性質を取り扱えるわけがないでしょ。

微分方程式の積分がチューリングマシンで扱えると思っているなら、
どうかしてるとしか言いようがない。チューリングマシンとは何か、
実数とは何か、極限とは何か、積分とは何か。
少し反省してみることを勧める。ふざけんじゃないよと。