莱布尼茨的数理逻辑思想　　莱布尼茨是公认的现代逻辑的奠基者。他继承霍布斯等人“思维就是计算”的思想，把逻辑的论证方式归结为“计算”—“我将作出一种通用代数，一切推理的正确性都将化归于计算”。　　莱布尼茨在300年前用2个记号0和1的
(12/18)
下页
上页
返回列表
返回