二进制完整的计数方法和运算规则是莱布尼兹整出来的。
布尔整的布尔代数,又在逻辑学和代数符号之间建立关联,使得可以代数运算解决逻辑运算。
两人共同奠定了计算机可实现的理论基础。