期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
哥德尔不完备性定理与心智的可计算性
被引量:
1
1
作者
符征
《自然辩证法研究》
CSSCI
北大核心
2015年第3期112-116,共5页
认知计算主义的反对者常常构造以下论证:哥德尔不完备性定理意味着心智不是一台计算机。哥德尔、卢卡斯和彭罗斯都坚持这样的论证。不过计算主义者也作出了回应,这包括心智的一致性,系统的复杂性和自反的可理解性等论证。
关键词
认知计算主义
哥德尔不完备性定理
图灵机
一致性
原文传递
计算主义形式系统难题:基于哥德尔不完全性定理的讨论
2
作者
赵小军
《洛阳师范学院学报》
2018年第7期12-19,共8页
通过分析基于哥德尔不完全性定理的挑战,认为其对计算主义的批判是不成立的。虽然哥德尔不完全性定理确实可以打击形式系统,但却并不能说明它驳倒了计算主义,因为计算系统不是纯粹形式系统,而是由形式系统与非形式系统共同构成的完整系...
通过分析基于哥德尔不完全性定理的挑战,认为其对计算主义的批判是不成立的。虽然哥德尔不完全性定理确实可以打击形式系统,但却并不能说明它驳倒了计算主义,因为计算系统不是纯粹形式系统,而是由形式系统与非形式系统共同构成的完整系统,仅从形式系统来理解计算系统是偏狭的。卢卡斯等人对计算主义的反对与其论证背后的哲学预设"人心至上论"有关,从这个预设出发,自然会得出不利于计算主义的结论,而如果给予计算机和人以平等地位的话,并不能得出人心优于机器的结论。
展开更多
关键词
形式系统
计算主义
哥德尔不完全性定理
在线阅读
下载PDF
职称材料
题名
哥德尔不完备性定理与心智的可计算性
被引量:
1
1
作者
符征
机构
河南大学马克思主义学院
出处
《自然辩证法研究》
CSSCI
北大核心
2015年第3期112-116,共5页
基金
国家社会科学基金项目"认知科学对当代哲学的挑战--心灵与认知哲学重大理论问题研究"(11AZD120)
国家社会科学基金项目"当代计算主义的理论难题研究"(10BZX022)
+2 种基金
中国博士后第55批科研基金项目"认知计算主义的挑战与回应"(2014M550651)
教育部人文社会科学青年项目"当代认知计算主义的难题与应对"(14YJC720007)
2014年度河南大学省属高校基本科研业务费"青年科研人才种子基金"(0000A40507)
文摘
认知计算主义的反对者常常构造以下论证:哥德尔不完备性定理意味着心智不是一台计算机。哥德尔、卢卡斯和彭罗斯都坚持这样的论证。不过计算主义者也作出了回应,这包括心智的一致性,系统的复杂性和自反的可理解性等论证。
关键词
认知计算主义
哥德尔不完备性定理
图灵机
一致性
Keywords
cognition
computation
alism
Godel's incompleteness
theorem
Turing machine
consistency
分类号
N031 [自然科学总论—科学技术哲学]
原文传递
题名
计算主义形式系统难题:基于哥德尔不完全性定理的讨论
2
作者
赵小军
机构
贵州师范大学历史与政治学院
出处
《洛阳师范学院学报》
2018年第7期12-19,共8页
基金
贵州师范大学2016年博士科研启动项目(12004-0516018)
文摘
通过分析基于哥德尔不完全性定理的挑战,认为其对计算主义的批判是不成立的。虽然哥德尔不完全性定理确实可以打击形式系统,但却并不能说明它驳倒了计算主义,因为计算系统不是纯粹形式系统,而是由形式系统与非形式系统共同构成的完整系统,仅从形式系统来理解计算系统是偏狭的。卢卡斯等人对计算主义的反对与其论证背后的哲学预设"人心至上论"有关,从这个预设出发,自然会得出不利于计算主义的结论,而如果给予计算机和人以平等地位的话,并不能得出人心优于机器的结论。
关键词
形式系统
计算主义
哥德尔不完全性定理
Keywords
formal system
computation
alism
Godel's incompleteness
theorem
分类号
N031 [自然科学总论—科学技术哲学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
哥德尔不完备性定理与心智的可计算性
符征
《自然辩证法研究》
CSSCI
北大核心
2015
1
原文传递
2
计算主义形式系统难题:基于哥德尔不完全性定理的讨论
赵小军
《洛阳师范学院学报》
2018
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部