Значительный вклад в теорию вычислительной техники внесла работа Джорджа Буля "Исследование законов мышления" (1854 г.); первый электронный компьютер в 1939 году собрал американец Атанасофф; в 1948 году Том Килбурн написал первую компьютерную программу; в 1950 г. Йошира Накамата придумал флоппи-диск; "мышку" придумал в 1965 году Дуглас Энгельбардт. Список можно продолжать, но в основе всех этих изобретений лежит то, что изобрел немец, годы жизни которого - 1646-1716. Назовите это его изобретение.