you don't know what you were talking about.


所有跟贴·加跟贴·新语丝读书论坛

送交者: steven 于 2008-01-09, 15:15:17:

回答: 我是要说明algorithm定义不确. 如果认为获得解析解也算是algorithm的话. 由 短江学者 于 2008-01-09, 14:55:24:

Turing solvable means the problem can be solve in recursive function, and vice versa. Any problem that can be solved with finite steps with finite resource is Turing solvable. The example you gave, any differential equation that has solution, regardless whether it is numeric or analytical, is Turing solvable. However, there set of all differential equations is non-recursively enumerable, hence there is no way to solve them all, you can't even count them.



所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明