https://wiki.alt-text.eu/index.php?action=history&feed=atom&title=Gottfried_Wilhelm_LeibnizGottfried Wilhelm Leibniz - Revision history2026-09-15T06:24:13ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.alt-text.eu/index.php?title=Gottfried_Wilhelm_Leibniz&diff=134&oldid=previmported>ALT-TEXT: Import: 52 additional AI people glossary entries2026-09-07T20:10:00Z<p>Import: 52 additional AI people glossary entries</p>
<p><b>New page</b></p><div>== Gottfried Wilhelm Leibniz ==<br />
A German polymath who built the stepped reckoner in the 1670s, the first mechanical calculator able to perform all four arithmetic operations, and who set out modern binary arithmetic in his 1703 essay ''Explication de l'Arithmétique Binaire''. More ambitiously, he imagined a ''characteristica universalis'', a formal symbolic language in which any argument could be written down, and a ''calculus ratiocinator'', a mechanical procedure for settling disputes by calculation rather than debate. That pairing of a formal notation with a mechanical rule for manipulating it is the ancestor of both symbolic logic and the stored-program computer. (See also: [[Charles Babbage]], [[Symbolic AI]], [[Algorithm]])<br />
<br />
[[Category:People]]<br />
[[Category:Artificial Intelligence]]<br />
[[Category:AI Precursors]]<br />
</div>imported>ALT-TEXT