摘要：卢卡斯和彭罗斯先后论述,利用哥德尔不完全性定理可以得出人心胜过机器（图灵机）,心灵是不可计算的,现在这被统称为卢卡斯-彭罗斯论证。卢卡斯-彭罗斯论证中最主要的焦点就在于所谓的“一致性或健全性前提”,卢卡斯和彭罗斯坚持回应各种质疑,认为可以知道我们（心灵）是一致的。事实上,卢卡斯-彭罗斯论证需要加上一些理想化的假设,尤其应该对彭罗斯论证中“F是健全的”这一断言予以澄清和补充。费弗曼指出彭罗斯论证的疏忽,试图调和机械论和反机械论的完全对立,并提出开放模式的公理系统表示心灵的数学能力。由对数学实践的分析阐述费弗曼论证存在不足之处后,在借鉴卢卡斯-彭罗斯论证和费弗曼论证的基础上,考虑数学理解力和环境的重要性,尝试提出基于完全开放的数学形式系统的心灵模型。
分类：期刊> 自然科学与工程技术> 基础科学> 基础科学综合
收录：CSSCI 南大期刊(含扩展版) > 北大期刊(中国人文社会科学期刊) > 知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：哥德尔不完全性定理 心灵与机器 一致性 开放形式系统
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
