steven, 你说话也开始不严谨了

送交者: xinku 于 2010-04-02, 13:57:40:

"认为人类的思维手段只局限于Turing machine" That is called Church-Turing thesis."???
Church–Turing thesis 说的是：所有已经发明的计算模型在计算能力上是等价的，这表明这些计算模型都正确地形式化了人们头脑中那个直观的关于“计算”的概念，即所谓的计算就是这些模型所能做的事情，不多也不少。
这丝毫不涉及人脑的思维是否是计算式的、人的思维能力是否也局限于图灵机。这个问题彭罗斯在《emperor's new mind》里有探讨，但是没有答案yet.

所有跟贴:

Peronse presented an argument, just like there is an argument P = NP. - steven (78 bytes) 2010-04-02, 14:42:32 (428625)
- the bottom line is: - xinku (114 bytes) 2010-04-02, 14:51:47 (428629)
当年机械盛行的时候，是不是有论文说机械可以解决一切问题？ - foresight (36 bytes) 2010-04-02, 14:26:43 (428614)
- 这个当然正确. 只要把 "一切问题" 加上足够限制就行了. - oo8 (27 bytes) 2010-04-02, 15:42:20 (428644)
- 有些话本身不严谨（如minsky"brain's a meat computer")也就没什么 - 阮宗光 (338 bytes) 2010-04-02, 14:58:49 (428634)
  - 受教了 (无内容) - foresight (0 bytes) 2010-04-02, 15:07:16 (428640)
- It is different, Church-Turing thesis were developed long before - steven (51 bytes) 2010-04-02, 14:43:56 (428626)
  - 那现在的computer全部实现那篇论文的所指的功能了吗？ (无内容) - foresight (0 bytes) 2010-04-02, 14:48:56 (428628)

加跟贴