.png){kind=icon}
.png){kind=icon}
返回
What Is Computation? And Why Turing?
.png){kind=icon}
PRE
AI
DOI：10.1007/s11390-026-6092-1.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文深入探讨了丘奇-图灵论题的形成，旨在阐明计算的哲学和历史问题。作为计算机科学的基础，丘奇-图灵论题断言图灵机是最通用的计算设备。本文探讨了图灵在此过程中的关键作用。丘奇-图灵论题是一种信念，其依据是各种计算机制（包括一般递归函数、λ演算和波斯特系统等）已被证明在数学上是等价的。该论题的更强表述意味着智能可归约至图灵机，进而引发对人工智能本质的讨论。这一论题促使计算理论跨越数学与物理领域，并进一步触及哲学中最持久的二元对立——心灵与物质。
Keyword:
analog vs digital
Church-Turing Thesis
continuous vs discrete
general recursive function
nature of computation
Strong Church-Turing Thesis
universal Turing machine