论莱布尼茨数学思想的统一性.docVIP

论莱布尼茨数学思想的统一性 戈特弗里德·威廉·莱布尼茨(1646～1716)对数学有两项突出贡献：发明了符号逻辑和微积分。 下面是编辑老师为大家准备的莱布尼茨数学思想的统一性。 由于这两项成就分属不同的数学分支，人们也往往将其看作莱布尼茨的两种不同工作，忽视了它们之间的一致性，这为研究莱布尼茨的数学思想、完整地理解数学史和科学发现的规律带来不少困难。本文的目的就是试图理解的揭示这种一致性。 莱布尼茨对数学问题的最早探索和最初贡献是试图沿着笛卡尔和霍布斯的思路建构所谓的“通用语言”。这种语言是一种用来代替自然语言的人工语言，它通过字母和符号进行逻辑分析与综合，把一般逻辑推理的规则改变为演算规则，以便更精确更敏捷地进行推理。([1]，p.8)或者说，“通用语言”是一套表达思想和事物的符号系统，利用这些符号可以进行演算并推出各种知识。在《论组合术》中，二十岁的莱布尼茨曾立志要创设“一个一般的方法，在这个方法中所有推理的真实性都要简化为一种计算。同时，这会成为一种通用语言或文字，但与那些迄今为止设想出来的全然不同;因为它里面的符号甚至词汇要指导推理;错误，除去那些事实上的错误，只会是计算上的错误。形成或者发明这种语言或者记号会是非常困难的，但是可以不借助任何词典就很容易懂得它。”([2]，p.123)在1679