Gottfried Wilhelm Leibniz (1646-1716) war ein deutscher Universalgelehrter, der sich für Technik des Rechnens interessierte. Er konstruierte Rechen- und andere Maschinen. Bereits 1672 konstruierte er eine Rechenmaschine, die multiplizieren, dividieren und die Quadratwurzel ziehen konnte.

Man sagt, G. Leibniz habe das Dualsystem "erfunden". Er sah, dass das Dualsystem mit den Ziffern 0 und 1, das in der Computertechnik verwendet wird, einfachere Konstruktionen ermöglicht als das Dezimalsystem. Er hat aber keine mechanische Umrechnung.

G. Leibniz befasste sich intensiv mit Logik und propagierte erstmals eine symbolische Logik in Kalkülform. Seine Logikkalkül-Skizzen veröffentlichte er allerdings nicht; erst sehr verspätet (1840, 1890, 1903) wurden sie publiziert. Seinen Hauptkalkül entwickelte er in den Generales Inquisitiones von 1686. Er entwarf dort die erste Gleichungslogik und leitete in ihr fast zwei Jahrhunderte vor der Boole-Schule die Gesetze der booleschen Verbandsordnung ab. Innerhalb dieses Kalküls formulierte er die traditionelle Begriffslogik bzw. Syllogistik auf gleichungslogischer Grundlage. Er erfand die Mengendiagramme lange vor Leonhard Euler und John Venn und stellte mit ihnen die Syllogistik dar.

"What I love best about the calculus is that it frees us from working with out imagination." (Leibniz, 1692).
"Alles ist also im Menschen, wie überall, im voraus sicher und bestimmt, und die menschliche Seele ist somit eine Art geistiger Automat." - Theodizee Erster Teil, Pt. 52

G. Leibniz machte Erfindungen zur Nutzung des Windes bei der Grubenentwässerung im Oberharzer Bergbau.
Seine Rechenmaschine war ein historischer Meilenstein im Bau von mechanischen Rechenmaschinen. Das von ihm erfundene Staffelwalzenprinzip, mit dem Multiplikationen auf mechanische Weise realisiert werden konnten, hielt sich über 200 Jahre als unverzichtbare Basistechnik. Die feinmechanischen Probleme, die es beim Bau einer solchen Maschine zu überwinden galt, waren jedoch so immens, dass berechtigte Zweifel daran bestehen, ob zu Leibnizens Lebzeiten jemals eine fehlerfrei arbeitende Maschine realisiert werden konnte. Eine fehlerfrei arbeitende Replik nach Leibnizens Konstruktionsplan konnte erst 1990 durch Nikolaus Joachim Lehmann (Dresden) realisiert werden (http://www.uni-jena.de/data/unijena_/faculties/minet/casio/index.html).

... und Technologie

Er entdeckte, dass sich Rechenprozesse viel einfacher mit einer binären Zahlencodierung durchführen lassen, und dass sich mittels des binären Zahlencodes die Prinzipien der Arithmetik mit den Prinzipien der Logik verknüpfen lassen. (De progressione Dyadica, 1679; oder Explication de l'Arithmetique Binaire, 1703). Die hier erforschten Prinzipien wurden erst 230 Jahre später in der Konstruktion von Rechenmaschinen eingesetzt.

... es sei „ausgezeichneter Menschen unwürdig, gleich Sklaven Stunden zu verlieren mit Berechnungen“