Лейбниц Готфрид Вильгельм (Gottfried Wilhelm Leibniz) (1 июля 1646, Лейпциг — 14 ноября 1716, Ганновер) — немецкий ученый (философ, математик, физик, языковед); предвосхитил принципы современной математической логики («Об искусстве комбинаторики», 1666). Лейбниц создал первую механическую счетную машину, способную производить сложение, вычитание, умножение и деление; независимо от Ньютона создал дифференциальное и интегральное исчисление и заложил основы двоичной системы счисления.
Окончив Лейпцигский университет, куда поступил в возрасте 15 лет, Лейбниц долгие годы провел на службе у разных немецких князей. В 1766 году в двадцатилетнем возрасте он разработал общий метод позволяющий свести любую мысль к точным формальным высказываниям. Таким образом, Лейбниц стал основателем формальной математической логики. Предложив двоичную систему счисления, ученый наделял ее мистическим смыслом: цифру 1 он ассоциировал с Богом, а 0 с пустотой. Лейбниц предположил, что двоичная система может стать универсальным логическим языком.
Лейбниц хотел выделить простейшие понятия, с помощью которых можно бы сформулировать понятия любой сложности. Он мечтал о создании универсального языка, на котором можно было бы записывать любые мысли в виде математических формул. Ученый думал о машине, которая могла бы выводить теоремы из аксиом, о превращении логических утверждений в арифметические.
В 1673 году Лейбниц изготовил механический калькулятор, в частности, чтобы облегчить труд своего друга астронома Христиана Гюйгенса. В машине Лейбница использовался принцип связанных колец суммирующей машины Паскаля, но Лейбниц ввел в нее подвижный элемент (прообраз каретки настольного калькулятора), позволивший ускорить повторение операции сложения, необходимое при перемножении чисел. Вместо колесиков и приводов в машине Лейбница находились цилиндры с нанесенными на них цифрами. Каждый цилиндр имел девять рядов выступов или зубцов. При этом первый ряд содержал один выступ, второй ряд — два выступа и так вплоть до девятого ряда, который содержал соответственно девять выступов. Цилиндры с выступами были подвижными и приводились в определенные положения оператором.
Для своей машины Лейбниц применил систему счисления, использующую вместо обычных для человека десяти цифр две: 0 и 1. Принципы двоичной системы счисления Лейбниц объяснял на примере коробочки с отверстиями: открытое отверстие означало 1, закрытое – 0. Единица обозначалась выпавшим шаром, ноль – отсутствием выпавшего шара. Двоичная система счисления Лейбница нашла впоследствии применение в автоматических вычислительных устройствах. Лейбниц основал Бранденбургское научное общество (позднее — Берлинская АН) и с 1700 года являлся его президентом. По просьбе Петра I он разработал проекты развития образования и государственного управления в России.