这就是你说的邱奇—图灵命题吧？

这就是你说的邱奇—图灵命题吧？

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

送交者: JFF 于 2010-03-29, 23:12:22:

回答: 还是昏昏圣明——这里的人一碰见现实问题就傻眼。由荒川于 2010-03-29, 22:27:31:

“图灵和哥德尔提出了著名的邱奇-图灵论题：一切直觉上能行可计算的函数都可用图灵机计算，反之亦然。 ”

这界定的很清楚：“可计算的函数”！
人脑的智能可远远不只是解决直觉上能行可计算的函数啊。
就像我一开始说的那样，现实世界上大多数（现在我想进一步说绝大绝大多数）的和人智力有关的问题是无法用“可计算的函数”来表达的。

我的理解有问题吗？

You understanding is incorrect. Your "Church-Turing Thesis" is ill-stated. - steven (968 bytes) 2010-03-30, 01:00:13 (427205)
- correction: the description is computable, i.e. thoughts/intelligence - steven (131 bytes) 2010-03-30, 03:37:07 (427216)