莱布尼茨计算器算法思想研究
莱布尼茨发明计算器以实现他的算法思想。他的算法思想来自传统的西方理性主义，是一种“思维可计算”的思想。他从理性主义中的论证演绎和计算两方面继承了前人的思想，提出了思维计算的规则。这些规则是组合规则、推理规则和乘法规则，它们具有还原主义、计算主义、普遍主义、理性主义的特征。莱布尼茨以“思维可计算”为指导，按照理性规则，发明计算器，通过计算器把思维计算过程呈现出来。他共制作四台十进制计算器，设计了一台二进制计算器。十进制计算器主要应用的是乘法规则和组合规则，体现了还原主义和计算主义的特征。二进制计算器应用了推理规则和组合规则，体现了普遍主义和理性主义特征。 但这些规则在计算器的运算中存在着一定的局限性。乘法规则注重赋值而不能完成概念命题的运算。组合规则有时代局限，当时的物理条件无法制造出莱布尼茨设想的二进制计算器。推理规则有理论局限，莱布尼茨没找到数理逻辑的推理规律。之后，布尔和图灵分别突破了乘法、组合规则的局限。但推理规则缺乏论证，仍面临极大困难。展望人工智能的发展，莱布尼茨“思维可计算”思想仍未实现，有继续研究的价值。
计算器;算法思想;思维计算;理性规则;莱布尼茨
北京化工大学
硕士
科学技术哲学
郭菁
2018
中文
TP321
64
2018-09-18（万方平台首次上网日期，不代表论文的发表时间）