Liebniz is something of an unacknowledged grandfather of computer science. Everyone knows Babbage for designing but never finishing a universal mechanical compu

Liebniz is something of an unacknowledged grandfather of computer science. Everyone knows Babbage for designing but never finishing a universal mechanical computer, but a century earlier Lienbniz materially advanced the state-of-the-art by designed and actually constructing the first mechanical calculator capable of all four basic mathematical operations: addition, subtraction, multipication, and division. https://en.wikipedia.org/wiki/Stepped_reckoner https://en.wikipedia.org/wiki/Stepped_reckoner https://en.wikipedia.org/wiki/Leibniz_wheel https://en.wikipedia.org/wiki/Leibniz_wheel Liebniz's design was the basis of the first successful mass produced mechanical calculator more than a century later: https://en.wikipedia.org/wiki/Arithmometer https://en.wikipedia.org/wiki/Arithmometer He also wrote extensively on the concept of artificial languages and what we today recognize as Boolean algebra: https://en.wikipedia.org/wiki/Characteristica_universalis https://en.wikipedia.org/wiki/Characteristica_universalis https://www.iep.utm.edu/leib-log/ https://www.iep.utm.edu/leib-log/ His work on these subjects was explicitly cited by Frege as the inspiration for his own seminal work on formal logic.