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　矛盾。所以人脑不是算法的，证毕。　



所有跟贴:

加跟贴

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

标题:

内容: (BBCode使用说明)