黑洞分寒只是让传几份超计算模型、图灵-丘奇论题相关的论文而已，怎么又惹得福地分寒那般失态，大腿都拍肿了？

先说说什么叫超计算模型。

计算机理论的基础是可计算性理论，而可计算性理论的基石是“图灵机”与“丘奇-图灵论题”。

后者是以数学家阿隆佐·丘奇和阿兰·图灵命名，就仿佛热力学第二定律一样，有多种形式大相径庭的表述方式。

比如：所有计算或算法都可以由一台图灵机来执行。

或者：以任何常规编程语言编写的计算机程序都可以翻译成一台图灵机，反之任何一台图灵机也都可以翻译成大部分编程语言的程序。

又或者：逻辑和数学中的有效或机械方法可由图灵机来表示。

大家云山雾罩，不明所以了吧？

其实主要是概念不熟。

像质能方程，一切物质都潜藏着质量乘于光速平方的能量。大家立刻能理解，是因为对物质、质量、光速、能量的概念耳熟能详。

而丘奇-图灵论题涉及的概念大家一般不那么熟悉，于是字都认识，连起来就莫名奇妙了。

事实上，如何界定有效方法、执行算法、有限步骤，这些也正是该论题重点讨论的对象。

比如第一章中曾经出现的蔡廷常数，为什么叫不可计算数？

就是因为若以数字为对象的集合，可计算数便是指图灵机通过有限的通用算法可以得到的数字，基本就是所有实数。有理数靠加减乘除，无理数靠乘方开方，超越数可以用级数……

Loading...

未加载完，尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。

尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏！

移动流量偶尔打不开，可以切换电信、联通、Wifi。

收藏网址：www.dingdian007.com

(＞人＜；)