Gottfried Wilhelm Leibniz (1646-1716) war ein Universalgelehrter, der sich (auch) 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.

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.

Man sagt, G. Leibniz habe das Dualsystem "erfunden". Er hat es in einem skurilen Schreiben an seinen Fürsten dargestellt (ich kenne keine anderen Texte dazu). Er zeigte auch nicht, dass es mechanisch genutzt werden könnte, seine Rechenmaschine war "dezimal".
Er sprach aber von "Binärzahlen", was als Indiz gesehen werden kann, dass er ein Kalkül vor Augen hatte.

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 dualen 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“