|
Gottfried Wilhelm Leibniz
01.07.1646 - 14.11.1716
|
Первая машина,
позволяющая легко производить вычитание,
умножение и деление, была изобретена в Германии
Готфридом Вильгельмом Лейбницем. Он родился в
Лейпциге и принадлежал к роду, известному своими
учеными и политическими деятелями. Его отец был
профессором этики, а дед - профессором права
Лейпцигского университета.
В 1661 году Лейбниц становится студентом. Он
изучает философию, юриспруденцию и математику в
университетах Лейпцига, Вены и Альтдорфа. В 1666
году он защищает сразу две диссертации на звание
доцента - по юриспруденции и математике. Затем
Лейбниц служит при дворах немецких князей в
качестве юриста, находится на дипломатической
службе. С 1676 года и до самой смерти Лейбниц
состоял советником и библиотекарем при дворе
ганноверского герцога. На протяжении 40 лет
Лейбниц вел научные исследования, публиковал
научные труды, поддерживал переписку со всеми
ведущими учеными эпохи.
В 1672 году, находясь в Париже, Лейбниц
познакомился с голландским математиком и
астрономом Христианом Гюйгенсом. Видя, как много
вычислений приходится делать астроному, Лейбниц
решил изобрести механическое устройство для
расчетов. В 1694 году он завершил создание
механического калькулятора. Развив идеи Паскаля,
Лейбниц использовал операцию сдвига для
поразрядного умножения чисел. Лейбниц
продемонстрировал свою машину во Французской
академии наук и Лондонском королевском обществе.
Один экземпляр машины Лейбница попал к Петру
Великому, который подарил ее китайскому
императору, желая поразить того европейскими
техническими достижениями.
Готфрид Лейбниц сделал немало открытий и в других областях математики: в комбинаторике, в алгебре (начала теории определителй), в геометрии (основы теории спорикосновения кривых), одновременно с Гюйгенсом разрабатывал теорию огибающих семейства кривых и других. Лейбниц выдвинул так же теорию геометрических счислений.
В логике, развивая учение об анализе и синтезе, Лейбниц впервые сформулировал закон достаточного основания, дал современную формулировку закона тождества. В «Об искусстве комбинаторики» (1666) предвосхитил некоторые моменты современной математической логики, он выдвинул идею о применении в логике математической символики и построении логических исчислений, поставил задачу логического обоснования математики.
Готфрид Лейбниц сыграл важную роль в истории создания электронно-вычислительных машин: он предложил использовать для целей вычислительной математики бинарную систему счисления, писал о возможности машинного моделирования функций человеческого мозга. Лейбницу принадлежит термин «модель».
Двоичная система счисления Лейбница. Страница из Explication de l’Arithmetique Binaire |
