a poof of brain <> algorithm

a poof of brain <> algorithm

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

送交者: xinku 于 2008-01-09, 15:51:06:

前提：
1　人脑总是能够纠正自己的错误
2 不存在不可知的世界

证明：假如人脑是算法的，则存在图灵机　T　与人脑等价。
取不可解的停机问题　H，　存在　H　的实例(instance) I，使得　T　在　I　上给出错误答案或永不停机；依前提　1，　T　不会在　I　上给出错误答案，所以　T　在　I　上永不停机，即　I　是否停机对人类不可知，与前提　2　矛盾。所以人脑不是算法的，证毕。　

this is invalid proof. Since the first assumtion is equivlent to - steven (34 bytes) 2008-01-09, 15:57:43 (196948)
- how do you prove they are equivelant? (无内容) - xinku (0 bytes) 2008-01-09, 17:57:17 (196970)
  - Let's limit the scope of the discussion in, say properties of number, - steven (624 bytes) 2008-01-09, 18:16:30 (196978)
你忘了时间限制。 - james_bond_3rd (29 bytes) 2008-01-09, 15:56:21 (196947)
- I only consider computability, not complexity (无内容) - xinku (0 bytes) 2008-01-09, 17:58:54 (196971)
  - You're not making any sense (无内容) - james_bond_3rd (0 bytes) 2008-01-09, 20:03:29 (197005)