2016年3月20日
停机问题、罗素悖论和三值逻辑
摘要： 1、罗素悖论 有集合 A={x|x∉A}。那么问题来了：A是否属于A？ 等价于通俗说法“理发师悖论”：理发师说只给城市里不给自己理头的人理头，然后每天找他理头的人络绎不绝，有一天问题来了：理发师要不要给自己理头？ 罗素悖论的关键在于定义的自身调用。 2、halting problem（停机问题） 存 阅读全文
posted @ 2016-03-20 16:05 lireagan 阅读(1124) 评论(3) 推荐(0) 编辑