为什么是图灵? —— 计算理论的缘起

为什么是图灵? —— 计算理论的缘起

Year:    2023

Author:    尼 克

数学文化, Vol. 14 (2023), Iss. 1 : pp. 75–92

Abstract

image.png

丘奇−图灵论题(Church−Turing Thesis)断言:图灵机是最广义的计算装置。丘奇−图灵论题有时也称图灵论题,是计算机科学的基石,它之于计算机科学,宛如公理之于几何学,牛顿定律之于物理学。计算理论的缘起就是丘奇−图灵论题的形成过程。费曼说微积分是上帝的语言。如果我们把第一次工业革命,归因于机械和能量,贴上牛顿的标签,而把当下正在经历的第四次工业革命归因于信息和计算;那么,上帝的语言该改成图灵机了。至少,英国50英镑钞票的头像刚刚从瓦特换成了图灵。

You do not have full access to this article.

Already a Subscriber? Sign in as an individual or via your institution

Journal Article Details

Publisher Name:    Global Science Press

Language:    Multiple languages

DOI:    https://doi.org/2023-MC-21484

数学文化, Vol. 14 (2023), Iss. 1 : pp. 75–92

Published online:    2023-01

AMS Subject Headings:   

Copyright:    COPYRIGHT: © Global Science Press

Pages:    18

Keywords:   

Author Details

尼 克