等人“思维就是计算”的思想，把逻辑的论证方式归结为“计算”一“我将作出一种通用代数，一切推理的正确性都将化归于计算。”　　莱布尼茨设计了“通用语言”和“通用数学”来准备构建他的逻辑体系，而且现代形式逻
(20/24)
下页
上页
返回列表
返回