Готфрид Вильгельм Лейбниц

В ходе реализации в лицее "Дубна" образовательного проекта "Развитие информатики" 10-классники готовят биографическую базу знаний о 128  ученых, чей вклад в развитие информатики наиболее значителен. 

Чтобы помочь всем участникам проекта определиться с достаточным объемом собранной информации об одном учёном я привожу здесь биографические сведения о Г.В.Лейбнице. Эти сведения взяты мною здесь и здесь :

Первая машина, позволяющая легко производить вычитание, умножение и деление, была изобретена в Германии Готфридом Вильгельмом Лейбницем. Он родился в Лейпциге и принадлежал к роду, известному своими учеными и политическими деятелями. Его отец был профессором этики, а дед - профессором права Лейпцигского университета.

В 1661 году Лейбниц становится студентом.  Он изучает философию, юриспруденцию и математику в университетах Лейпцига, Вены и Альтдорфа. В 1666 году он защищает сразу две диссертации на звание доцента - по юриспруденции и математике.

Затем Лейбниц служит при дворах немецких князей в качестве юриста, находится на дипломатической службе. С 1676 года и до самой смерти Лейбниц состоял советником и библиотекарем при дворе ганноверского герцога. На протяжении 40 лет Лейбниц вел научные исследования, публиковал научные труды, поддерживал переписку со всеми ведущими учеными эпохи.

В 1672 году, находясь в Париже, Лейбниц познакомился с голландским математиком и астрономом Христианом Гюйгенсом. Видя, как много вычислений приходится делать астроному, Лейбниц решил изобрести механическое устройство для расчетов. В 1694 году он завершил создание механического калькулятора. Развив идеи Паскаля, Лейбниц использовал операцию сдвига для поразрядного умножения чисел. Лейбниц продемонстрировал свою машину во Французской академии наук и Лондонском королевском обществе. Один экземпляр машины Лейбница попал к Петру Великому, который подарил ее китайскому императору, желая поразить того европейскими техническими достижениями.

Готфрид Лейбниц сделал немало открытий и в других областях математики: в комбинаторике, в алгебре (начала теории определителй), в геометрии (основы теории спорикосновения кривых), одновременно с Гюйгенсом разрабатывал теорию огибающих семейства кривых и других. Лейбниц выдвинул так же теорию геометрических счислений.

В логике, развивая учение об анализе и синтезе, Лейбниц впервые сформулировал закон достаточного основания, дал современную формулировку закона тождества. В «Об искусстве комбинаторики» (1666) предвосхитил некоторые моменты современной математической логики, он выдвинул идею о применении в логике математической символики и построении логических исчислений, поставил задачу логического обоснования математики.

Двоичная система счисления Лейбница.
 Страница из Explication de l’Arithmetique Binaire

Готфрид Лейбниц сыграл важную роль в истории создания электронно-вычислительных машин: он предложил использовать для целей вычислительной математики бинарную систему счисления, писал о возможности машинного моделирования функций человеческого мозга. Лейбницу принадлежит термин «модель».

Лейбниц прославился прежде всего не этой машиной, а созданием дифференциального и интегрального исчисления (которое независимо разработал в Англии Исаак Ньютон), комбинаторики, теории определителей.

Лейбниц указал путь для перевода логики из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно. Он предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления, которая позднее нашла применение а автоматических вычислительных машинах.