莱布尼茨对通用思想语言的探索
📝
内容提要
计算机科学的现代史可以说是从有史以来最著名的数学家之一戈特弗里德·莱布尼茨 ( Gottfried Leibniz ) 开始的。 他最出名的可能是与艾萨克·牛顿共同发明（或共同发现）微积分。我们大多数现代微积分符号，包括积分和微分符号，都深受莱布尼茨原始符号的启发。 但在这篇文章中，我们关心他主要是因为他关于数学可能是什么的更大梦想。 ...
➡️
