计算机起源的数学思想

发信人: phylips (星星||一年磨十剑), 信区: Algorithm

标题: 【合集】计算机起源的数学思想

发信站: 兵马俑BBS (Fri Nov 13 13:07:56 2009), 本站()

☆──────────────────────────────────────☆phylips 于Fri Aug 21 12:35:16 2009提到：

说明：转载请保留全部信息作者phylips@bmy bbs

序

人类的历史可以看做一部关于解放的历史。也有这样的说法，懒惰是人类进步的动力。为了偷懒，人类不断的做着各种努力，发明了各种机器工具，将自己从繁重的劳动解放出来，另一方面，每一次大的进步，都需要解放思想，同时也带来了全人类思想的大解放。在这样的历程中，计算机的出现无疑将人类从很多繁重的作业中解放了出来。与此同时，有些人开始思考能否制造出可以像人类一样进行思考的机器，以将人类从创造性的劳动和逻辑思考中解放出来，交给机器去完成。

虽然计算机的出现，不到百年，然而为了它的出现，所进行的探索和研究，早已经历经数百年的历史。当然准确的说，这些探索和研究在当时实际并不是为了计算机产生而进行的，绝大多数只是做了一个无意的铺垫。或许我们并不熟悉这样的一个过程，老实说现代的大学教育中也很少提及计算机出现之前的那些历史。实际上，了解这样的一个过程，更有助于我们理解一个事物是如何产生出来，它背后的科学原理又是如何，让我们可以透过复杂的电路外表，接触到最本质的东西。可以让我们除了对科学家们的工作表示赞叹之外，也可以深入他们当初的思想过程，近距离地进行跨越时间和空间的沟通。这对于我们自己应该如何思考问题，创造性地提出自己的想法也是有所帮助的。

实际上在离散数学的学习中，我们已经了解到这样的一些人物，乔治.布尔,康托，哥德尔，图灵，冯诺依曼。而我们实际的离散数学的教学中，本身太注重于知识本身的学习，而忽略了知识是如何被发现产生出来，以及不同的知识之间曾经的渊源和启发关系。而对于启迪思想来说，后者显然更为有力。

莱布尼茨之梦

早在17世纪的莱布尼茨就有一个伟大的构想，他希望可以将人类的思维像代数运算那样符号化，规则化，从而让笨的人通过掌握这样的规则变得聪明，更进一步的制造出可以进行思维运算的机器，将人类从思考中解放。从莱布尼茨为微积分所确定的依然在今天被沿用的符号中，我们可以看出他对符号具有良好的感觉，通过选择良好的符号，可以大大的简化运算的复杂性，甚至将这样的运算变成一种天然的过程。除了构想之外，莱布尼茨本身为了发展一种逻辑演算也进行了很多尝试，他得到的一些结果已经具有后来布尔的逻辑代数的雏形。

布尔的逻辑代数

19世纪的布尔，将逻辑代数化，发展出了逻辑代数成为后来计算机内部运算的逻辑基础。

在早期的研究中，布尔就已经认识到符号的力量，代数的力量正源于代表着量和运算的符号在几条基本规则的支配下体现出来的。后来，他开始思考能否将逻辑推理也像代数那样用符号和几条基本规则就可以完全表达。

他开始思考我们通常所说的某物具有某种性质，可以用一个类来表示，比如白的是x，绵羊是y，那么白绵羊就可以用xy来表示，这样日常生活中的概念开始具有代数的形式，用现代的术语来说上面的xy表示的正是交集。

他又继续思考，xx表示什么呢，他发现xx与我们普通的代数运算不同xx依然表示的是x。xx=x实际上成为布尔的逻辑代数的一个基本规则。

继续考虑下去，如果xx=x在普通的代数中意味着什么呢？xx=x，意味着x=1或者0.可以看到如果xx=x作为逻辑代数的基本规则，放在普通代数中意味着x=0或者1，那么逻辑代数是否意味着是01的普通代数呢。于是布尔得到一个基本原理，如果仅仅限于01，逻辑代数就变成了普通代数。关于这一点的思考，对于二进制运算的在逻辑代数中的主导作用具有很大的启发意义。

如果限于01，那么01在我们的逻辑代数中代表的意思又是什么呢。我们之前看到可以用x表示某个类，对应地那么0可以解释成没有任何东西属于它的类，1可以解释成包含所有对象的全体。同时布尔又开始考虑普通代数中的+-在逻辑代数中的意义，x+y可以表示具有x和y两种属性的对象集合，x-y表示具有x属性同时不具有y属性的对象集合。

考虑了这样的一些意义之后，接下来再看xx=x => x-xx = 0 => x(1-x) = 0 现在我们以逻辑代数的观点看这个式子，它体现了这样一个含义：没有任何东西可以同时属于又不属于某个类。这点让布尔十分振奋，因为这刚好体现了亚里士多德的排中律，这就使他确信自己找对了路子。

继续下去，布尔发现三段论也可以用他的逻辑代数来表达

所有x都是y x=xy(x中的任何东西也属于y，就等于说没有任何东西是属于x而不属于y的，也就是说x(1-y)=0)

所有y都是z y=yz

------------ ?

所有x都是z x=xz

x=xy

y=yz => x = xy = x(yz) = (xy)z = xz

最后，"如果x，那么y。"可以用x(1-y)=0来表示,可以这样理解这个式子意味着如果x=1，那么y=1。在这里一方面我们可以把"如果x，那么"理解为等同

于前面的这样一句话"所有的x都是y",当然这两者有一个区别，现在的x，y表示的是命题，而原来的x，y表示的则是类概念。以今天的观点来看，前者是命题演算，后者是谓词演算。

但是如果从另一个方面，重新考虑这句话，比如x=1表示命题x为真，x=0表示命题x为假，xy=1表示x且y，只有x，y均为1，xy=1，如果x=0或y=0，xy=0，这点又与普通代数相一致。从这个方向思考下去，就可以看到今天的布尔代数的基本面貌了，上面的这个定义正是与运算。

布尔的逻辑体系，不仅包含了亚里士多德的逻辑体系，而且还超越了它，但是仍有无法表达的情形：

所有失败的学生或者是糊涂的或者是懒惰的。

今天的布尔代数

回到今天，我们再看布尔再把逻辑转变成代数的过程中，所产生的逻辑代数在今天的计算机中扮演着什么样的作用。布尔代数只有1和0两个元素，not and or 三种运算，用几张真值表就可以表达清楚。

AND | 1 0

-----------------------

1 | 1 0

0 | 0 0

这张表说明如果AND 运算的两个元素有一个是0，则运算结果总是0。如果两个元素都是1，运算结果是1。例如，“太阳从西边升起”这个判断是假的(0),“水可以流动”这个判断是真的（1），那么，“太阳从西边升起并且水可以流动”就是假的（0）。

OR | 1 0

-----------------------

1 | 1 1

0 | 1 0

这张表说明如果OR运算的两个元素有一个是1，则运算结果总是1。如果两个元素都是0，运算结果是0。比如说，“张三是比赛第一名”这个结论是假的（0），“李四是比赛第一名”是真的（1），那么“张三或者李四是第一名”就是真的（1）。