送交者: Dishui 于 January 11, 2001 13:59:07:

回巴山:博士同等水平以下勿跟贴

所有跟贴·加跟贴·论坛主页

送交者: Dishui 于 January 04, 2001 19:49:53:

博士同等水平以下勿跟贴

这网上计算机专家一抓一大把，就你个巴山最逞能，你要是半路出家的就一边歇
着去，要是科班出身，你可是八六年就读硕士了，比俺这个老知青读的都早，这
水平可真丢人现眼。

一说起来又是一九零零年，这十九世纪的最后一年真是非同寻常，二十世纪的所
有重大进展都可以在这一年前后找到线索，这一年的前一年洛仑兹首次在一篇论
以太的文章中写下洛仑兹变换，六年后它导致了爱因斯坦的狭义相对论；这一年
佛洛伊德发表了他最有影响的著作“梦的解释”。独树一植地创立了精神分析学，

这一年普朗克在解释黑体幅射时首次引进能量量子假设。拉开了物理学最具革命
性的理论----量子力学的序幕。这一年有一个数学天才在巴黎的一个数学国际会议

上对数学作了一个世纪展望，这个人就是希尔伯特。要说这个人有多厉害只要提
两点就行了，爱因斯坦够厉害了吧，爱因斯坦花了十年钻研的广义相对论，希尔
伯特只用一个多月就把它解决了，而且完成在爱因斯坦之前。另一个是量子力学
的数学基础----相当于牛顿力学中的微积分---是计算机之父之一冯。诺意曼搞出来

的，而冯。诺意曼理论的数学基础和想法都是希尔伯特的。

希尔伯特在一九零零年的巴黎会议上给数学提了二十三个问题，其中有一个是要
把物理建立在公理化体系上，冯。诺意曼的“量子力学的数学基础”就是这个建
议下的产物。这二十三个问题中的第二个问题，是要找一个一般的而且自动的方
法和步骤来求任一公理化体系的所有真命题。这个问题的探索产生了两个重大发
现，一个是Godel的不完全性原理，哥德尔证明在公理化的数论体系中，有一些真
命题肯定不能用数学方法推导证明出来。所以即使可以找到一般的自动的演算方法，

结果肯定也是不完全的。另一个发现就是图灵机，它成为现代计算机的逻辑基础。

其实数学家们所作的用今天话来说就是找算法(AOLGORITHM)，首先大家考查的都
是有限状态构成的体系，大家找了一大堆各别问题的算法，以及能执行这些算法的

自动机。直到有一天图灵说俺找到了一个最一般的算法和自动机，凡是你有本事找

出来的算法，俺都可以用俺这算法和自动机把你另算一遍结果跟你一样。计算机就

这么诞生了。既然找到了普适算法。对普适计算机硬件设计的要求就是只要你能实

现图灵运算理论上你就可以实现所有算法的运算。冯。诺意曼的设计实际是最简单

的设计，把图灵机中的无限长读写带变成了有限大的存储空间。然后操作步骤是一

步步的。图灵机的读写头可以来回跑，冯。诺意曼的读写指针也可以寻址。冯。诺

意曼的硬件结构能不能达到图灵机的理想运算能力？实际是不能。第一个存储空间

有限，第二个因为机器按顺序一步步执行，而且硬件有有限的反应速度，所以有些

算法理论上可行但执行时间是无穷大。为了克服冯。诺意曼的硬件结构，并行分布

网络结构应当算是对其的补充但却仍然算图灵机的硬件结构。有了硬件以后，所有

的软件的算法设计就是一个个各别的有限状态机的设计过程，当然方法上有简化。

然后程序的执行是图灵机硬件实现对设计算法的模拟执行。所以说硬件结构是图灵

机结构而软件结构则是有限状态机结构。哈哈哈，现在的生物机量子机情况如何？

目前还没有见到有可以对图灵机的作实质突破的迹象。有没有可能突破？这目前则

只能是方舟子和李洪志争论的范畴了。：)

所有跟贴:

有点空，象哲学系的人写的 - 老猪倌 (0 bytes) 10:58:16 1/05/01 (0)