Gottfried Wilhelm Leibniz

Leibniz writes 'De Arte Combinatoria', outlining his vision for a universal characteristic and logical calculus

Leibniz publishes 'Explication de l'Arithmétique Binaire', describing binary number system with implications for logic

Leibniz's mature work on characteristica universalis and calculus ratiocinator, envisioning mechanical reasoning