不管是在神州历史还是地球历史,“图灵机”这个概念都和“可判定性”息息相关。
关于“计算机器”的研究,其实比蒸汽时代还要早许多。在科学尚处于蒙昧的时代里,手摇式计算机器就已经诞生了。具备一定计算能力,可以执行四则运算的差分机——以蒸汽驱动的运算之“脑”,也不是什么太新鲜的新闻。
但是,只有“图灵机”这个结构是划时代的。
“图灵机”本质上一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大的逻辑机器。而它最初的思路,是以机器模拟人的纸笔运算。冯诺依曼架构是它的工程化实现,将之化为了人们更为熟知的“计算机”。
而它诞生的直接原因,则是“完备性”“相容性”“可判定性”三大问题之中的后两条。
Loading...
未加载完,尝试【刷新】or【关闭小说模式】or【关闭广告屏蔽】。
尝试更换【Firefox浏览器】or【Chrome谷歌浏览器】打开多多收藏!
移动流量偶尔打不开,可以切换电信、联通、Wifi。
收藏网址:www.haimabooks.com
(>人<;)