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