从丘奇-图灵论题到多奇原理

本文对丘奇-图灵论题提出的背景，以及为什么哥德尔没有提出丘奇论题，而且直到给出图灵机概念之后才逐渐接受丘奇。图灵论题的真正原因作出某种解释，基于这种解释，将对多奇给出的“丘奇-图灵论题的物理版本”的内涵及意义作出评价，对量子计算机的计算本质给出逻辑分析。

语境与丘奇-图灵论题意义的演变

丘奇-图灵论题是一个关于计算的基本假设。文章主要探讨了三种不同语境下丘奇-图灵论题的形式和意义,指出人们对计算的认识是随语境转换而变化的,将计算视为信息处理的过程,利用自然系统的演化来实现计算,是未来计算科学的主要发展方向。

丘奇-图灵机器人如何跨越恐怖谷

尽管人工智能技术在数据挖掘、图像识别和统计预测等领域成就非凡,但机器人与环境的交互能力还亟待提升。作为涉身认知的起源之一,affordance概念常常被用来描述或解释人类、动物与环境进行互动的方式。目前,这个来自于生态心理学的理论也激发了人们对机器人设计的全新思路。机器人也可以被当作自主的行动主体,能够根据自身的物理能力来与环境进行有效的交互活动。通过理论论证和新近研究,吉布森的social affordance理论也能够在复杂的社会交往环境下,对机器人与人类的社交进行计算机意义上的语言描述。因此,该理论可以为未来机器人的设计与研发提供一个可靠的方向。

关于计算的若干哲学思考

计算无疑已经成为我们这个时代最有影响的概念之一,然而,人们对于究竟什么是计算却存在着各不相同的看法。本文基于对计算概念的拓展过程和不同诠释的考察,提出并论证了一种关于计算的广义规定,即计算就是信息加工的过程;在此基础上,进一步探讨了与计算概念密切相关的丘奇-图灵论题和正在兴起的泛计算主义思潮。

宇宙是一个计算机吗?——论基于自然计算的泛计算主义

泛计算主义是基于前沿科学的发展提出的一种新的世界观,这种世界观认为,宇宙是一个巨大的计算系统。早期的泛计算主义主要基于图灵计算范式。这种版本的泛计算主义自提出以来,受到了许多批评,尤以信息哲学家弗洛里迪和心灵哲学家皮西尼尼为代表。在回应批评的过程中,瑞典信息哲学家多迪格-瑟恩科维奇基于自然计算范式发展提出了一种新的泛计算主义——信息—计算主义,为泛计算主义提供了新的不可或缺的辩护。新的泛计算主义把宇宙展现为一个在不同组织水平上通过信息交互而形成的能动者网络。