Лейбниц что сделал для информатики

Готфрид Лейбниц

Биография

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

Детство и юность

Готфрид Вильгельм Лейбниц родился 21 июня (1 июля) 1646 года, в административном центре земли Нижняя Саксония – Ганновере. Готфрид вырос в семье профессора сербо-лужицкого происхождения, который не был далек от философского учения: в течение 12 лет главный кормилец в доме преподавал особую форму познания мира и позиционировал себя как публичный профессор морали.

Готфрид Лейбниц

Его третья супруга Катерина Шмукк, дочь высокопоставленного юриста, по национальности – чистокровная немка. Готфрид был ребенком, поцелованным Богом: с раннего детства мальчик проявлял свою гениальность, поэтому Лейбницы старались развивать любознательность маленького сына. Уже тогда не было сомнений, что их отпрыск станет великим ученым, который подарит этому миру полезные изобретения.

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

Статуя Готфрида Лейбница

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

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

Готфрид Лейбниц

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

Статуя Готфрида Лейбница

Лейбниц учился в престижном учебном заведении – Лейпцигской школе Святого Фомы. Там молодой человек демонстрировал свои умственные способности преподавателям. Он быстро решал математические задачи и даже проявил литературный талант. В День Святой Троицы ученик, который должен был читать праздничную речь, заболел, поэтому эта обязанность была возложена на Лейбница.

Готфрид умудрился за ночь сочинить произведение на латинском языке. Причем он смог выстроить стихотворение из пяти дактилей, добившись нужного звучания слов. Преподаватели пророчили мальчику, которому тогда только исполнилось 13 лет, великое будущее.

Учение

Первый трактат «О принципе индивидуации» Лейбниц написал в 1663 году. Мало кто знает, но после окончания университета Готфрид стал наемным алхимиком. Дело в том, что Лейбниц прослышал об алхимическом сообществе в Нюрнберге и решил действовать хитростью: он выписал самые непонятные формулы из книг знаменитых алхимиков и принес свое сочинение председателям Ордена розенкрейцеров.

Готфрид Лейбниц в обществе

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

В 1667 году молодой Лейбниц начал заниматься публицистической деятельностью и преуспел в философско-психологическом учении. Стоит сказать, что, когда заходит разговор о бессознательном, то многие вспоминают Зигмунда Фрейда, но именно Лейбниц выдвинул концепцию бессознательных малых перцепций, опережая немецкого психоаналитика на две сотни лет. В 1705 году были написаны «Новые опыты о человеческом разумении», а через пять лет вышло философское произведение под названием «Монадология» (1710).

Памятник Готфриду Лейбницу

Философ создал собственную синтетическую систему, считал, что весь многообразный мир состоит из неких субстанций – монад, которые существуют отдельно друг от друга, а они, в свою очередь, являются духовной единицей бытия. Причем, с его точки зрения, мир – это не нечто необъяснимое, потому что он вполне познаваем, а проблема истины требует рационального истолкования. По учению Лейбница высшая монада – это Творец, установивший определенный миропорядок, а критерием истины выступали логические доказательства.

Почерк Готфрида Лейбница

Готфрид рассматривал бытие как нечто гармоничное, но также он пытался преодолеть противоречия добра и зла. Философские труды Лейбница оказали влияние на Шеллинга и Шопенгауэра, однако Вольтер считал его учение о «Теодиции или оправдании Бога» (1710), где описываются три этапа зла, абсурдным.

Математика и науки

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

Памятник Готфриду Лейбницу

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

В 1673 году он придумал настольную вычислительную машину, ведущую автоматическую запись обрабатываемых чисел в десятичной системе исчисления. Приспособление это именуют арифмометром Лейбница (чертежи арифмометра встречаются в рукописях Леонардо да Винчи). Дело в том, что Лейбницу досаждало то, что его приятель Христиан проводит много времени за сложением чисел, тогда как сам Готфрид считал, что прибавлять, отнимать, делить и умножать – это удел рабов.

Вычислительная машина Готфрида Лейбница

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

Знакомство царя, который прорубил окно в Европу, и немецкого ученого произошло в1697 году, причем встреча эта была случайной. После продолжительных разговоров Лейбниц получил от Петра денежное вознаграждение и титул тайного советника юстиции. Но ранее, после поражения русского войска в битве на Нарве, Лейбниц сочинил хвалебную оду Карлу XII, где выражал надежду на то, что Швеция раздвинет свои границы от Москвы до Амура.

Готфрид Лейбниц и Петр I

Но затем он признавался, что имел счастье быть приятелем великого русского монарха, а благодаря Лейбницу Петр I одобрил создание Академии наук в Петербурге. Из биографии Готфрида известно, что в 1708 году у него возник спор с автором закона всемирного тяготения Исааком Ньютоном. Лейбниц опубликовал свое математическое открытие о дифференциальной системе исчисления, но Ньютон, познакомившийся с этим научным трудом, обвинил коллегу по цеху в краже идей и плагиате.

Исаак заявил, что он пришел к таким же результатам еще 10 лет назад, но не обнародовал свои труды. Лейбниц не отрицал, что некогда изучал рукописи Ньютона, но к тем же результатам он пришел самостоятельно. К тому же немец придумал более удобную символику, которой математики пользуются и по сей день.

Готфрид Лейбниц и Исаак Ньютон

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

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

Личная жизнь

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

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

София Шарлотта Ганноверская

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

Что касается амурных отношений, то о романах Готфрида информации мало, а некоторые биографы уверены, что в жизни ученого была одна женщина – наука. Но у него завелась теплая дружба с прусской королевой Софией Шарлоттой Ганноверской, впрочем, эти отношения не вышли за рамки платонических. В 1705 году София умерла, и Лейбниц до конца жизни не мог смириться со случившимся, после смерти возлюбленной он не нашел той барышни, которая тронула бы его сердце.

Смерть

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

Могила Готфрида Лейбница

Но, несмотря на тщетность бытия, Готфрид продолжал заниматься любимой наукой. Из-за сидячего образа жизни у ученого возникли подагра и ревматизм, но гений не доверял свое здоровье врачам, а пользовался только одним лекарством, подаренным приятелем. Кроме того, у Лейбница возникли проблемы со зрением, так как философ в преклонном возрасте не утратил любви к чтению.

Источник

Лейбниц что сделал для информатики

Gottfried Wilhelm Leibniz

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

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

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

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

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

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

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

Памятник в Лейпциге

Журнал «Домашний компьютер» №08-2002 МЕХАНИЗАЦИЯ

Газета «ИНФОРМАТИКА»
Аристотель, Лейбниц, Буль
Механические калькуляторы (Создание первых механических счетных устройств связано с именами В.Шиккарда, Б.Паскаля и Г.Лейбница)

Источник

Детальный взгляд на наследие Лейбница

Перевод статьи Стивена Вольфрама (Stephen Wolfram) «Dropping In on Gottfried Leibniz».

На протяжении многих лет меня интересовала личность Готфрида Лейбница, в частности из-за того, что он хотел создать что то на подобие Mathematica, Wolfram|Alpha и возможно даже A New Kind of Science но на три столетия раньше. Поэтому когда в недавнем прошлом я посетил Германию, то мне страстно захотелось побывать в его архивах в Ганновере.

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

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

Или здесь Лейбниц попытался вычислить цепную дробь — и хотя здесь присутствует арифметическая ошибка, он тем не менее довел результат до конца (П — в его ранней нотации обозначало знак равенства).

А здесь вы можете видеть некоторые пункты из математического анализа, которые практически в таком виде можно встретить в современных учебниках.

Но в чем заключалась суть его основных работ? Над чем Лейбниц размышлял большую часть своего времени?

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

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

Готфрид Лейбниц родился в Лейпциге в 1646 (сейчас это немецкий город). Он родился через четыре года после смерти Галилея и рождения Ньютона. Его отец был профессором философии а его мать была из семьи книготорговцев. Отец Лейбница умер когда ему было 6, но лишь через два года после ему было разрешено пользоваться библиотекой отца. Лейбниц начал читать все залпом. В 15 он поступил в местный университет, изучал философию и право. В 20 лет он получил дипломы по обоим направлениям.

Уже будучи подростком Лейбниц проявлял интерес к систематизации и формализации знаний. На то время существовали лишь смутные идеи о систематизации знаний, к примеру, в полумистическом труде Ars Magana (лат. великое искусство) написанном Раймундом Луллием (Ramon Llull) в 1300-х можно постараться найти описание универсальной системы в которой все знания могут быть выведены из комбинаций знаков принадлежащих (как Декарт (Descartes) назвал это) «алфавиту человеческой мысли». В своей дипломной работе по философии Лейбниц придерживался этой идеи. Он использовал простые принципы комбинаторной математики для расчета числа возможностей, рассуждал о декомпозиции идей на простые компоненты с которыми можно работать при помощи «логики изобретательства». И для оценки своего метода он включил в работу задачу решение которой должно было доказать существование Бога.

Как сам Лейбниц говорил позднее — эти тезисы написанные в 20 лет были в большинстве своем наивны. Но мне кажется что они уже характеризовали образ мыслей Лейбница с которым он не расставался на протяжении всей жизни. К примеру, его дипломная работа по праву о «ставящих в тупик судебных делах» была посвящена тому как эти дела могут быть разрешены с использованием логики и комбинаторики.

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

Из-за одного такого дела в 1672 году Лейбницу пришлось уехать в Париж на 4 года — за это время он общался со многими ведущими просветителями того времени. До этого знания Лейбница в математике были лишь поверхностными. Но в Париже он изучил все самые современные идеи и методы. В частности он разыскал Христиана Гюйгенса (Christiaan Huygens), который согласился обучить его математике после того как ему удалось пройти тест по отысканию суммы обратных треугольных чисел.

На протяжении нескольких лет Лейбниц оттачивал свои идеи о систематизации и формализации знаний, разрабатывая архитектуру того что сделало бы знания, говоря современным языком вычисляемыми. Первый шаг он видел в разработке ars characterisitca — методологии которая позволила бы поставить в соответствие некоторым вещам символьные представления тем самым создать однородный «алфавит мыслей». Затем — как он считал — данный алфавит позволит отыскать «истины во всех сферах, используя математику, будь то арифметика или алгебра».

Он придумал множество амбициозных названий для своих идей scientia generalis («общий метод знаний»), lingua philosophica («язык философии»), mathematique universelle («универсальная математика»), characteristica universalis («универсальная система») и calculus ratiocinator («математика мысли»). Он видел множество применений своим идеям практически во всех сферах жизни — право, медицина, инженерное дело, теология и т. д. Но наибольшего успеха он добился в математике, и случилось это довольно быстро.

На мой взгляд наиболее примечательным является тот факт что в истории математики крайне редко поднимался вопрос нотации. Это происходило в начале развития современной математики в конце первой декады 19 века благодаря работам таких людей как Готлоб Фреге (Gottlob Frege) и Джузеппе Пеано (Giuseppe Peano). А в современном мире это случилось благодаря моим работам по созданию системы Mathematica и языка Wolfram. Однако похожее событие случилось также и более трех веков назад благодаря Лейбницу. И мне кажется, что успехи Лейбница в математике во многом обязаны тому насколько упорно он работал с проблемой нотации, с какой ясностью он рассуждал о математических структурах и связанных с ними понятиях.

Если вы посмотрите на его заметки то увидите в явном виде процесс развития нотации. Многие вещи выглядят современными, но не лишены шарма 17 века, например использование символов алхимии или астрономии для обозначения алгебраических переменных.

Здесь символ П используется вместо знака равенства. У Лейбница была интересная идея о том что когда ножки П равны — это равенство, когда, к примеру левая ножка длиннее это эквивалентно знаку “>” и наоборот.

Черточки над частями выражений служат для группировки — идея мне нравится больше чем скобки хотя их было бы сложнее вводить с клавиатуры.

Мы используем такие черточки для квадратных корней, но Лейбниц хотел использовать их также в интегралах вместе с символом «d с хвостиком» которая напоминает мне об одном из символов в Mathematica, который мы создали для представления интегралов системе.

В частности при решении уравнений довольно распространенным является символ “±” и поэтому часто возникает путаница как группировать переменные в выражении, скажем, a±b±c. Кажется Лейбниц тоже считал это весьма неудобным препятствием и он представил нотацию которую было бы полезно использовать сегодня.

На счет некоторых обозначений у меня нет однозначных мыслей хотя многие из них, например «тильды сверху» выглядят довольно мило.

Также как и эти элементы с точками:

Или здесь что-то похожее на диаграммы…

Конечно самыми знаменитыми элементами нотации Лейбница являются знак интеграла (длинное s) и d (на полях справа). Они представлены вместе впервые 11 ноября 1675 года, затем 5 в записи 1675 было заменено на 3, вероятно самим Лейбницем.

Мне показалось интересным, что все его обозначения для различных операторов сильно отличаются от логических операторов. Оператор «или» это просто латинский перевод vel, «и» — et и так далее. А когда он придумал кванторы (всеобщности и существования) он обозначил их аббревиатурами на латыни U. A. и P. A.

Меня всегда поражало, что идея создания универсального языка для оперирования любыми данными появилась лишь в тридцатых годах двадцатого века. Поэтому мне было интересно могли ли первые наброски такой системы скрываться в трудах Лейбница — взять хотя бы только что рассмотренную диаграмму которую сейчас мы можем назвать некоторым подобием машины Тьюринга. Но со временем, изучив больше информации про самого Лейбница я понял что все таки это не тот случай.

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

Лейбниц понимал всю значимость разработанного им аппарата бесконечно малых значений и хотел разработать похожие «исчисления» для прочих областей знаний. Еще одна идея, близкая к единой системе знаний заключалась в кодировании логических свойств. Он хотел каждому возможному свойству поставить в соответствие простое число, и затем каждый предмет можно было бы охарактеризовать произведением этих простых чисел. Такой подход позволил бы показать логическую разницу между предметами с помощью арифметических операций. Но он рассматривал лишь статические свойства и ему никогда не приходила в голову идея аналогичная нумерации Гёделя (Gödel) где числами кодируются также и операции.

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

Существовали отдельные примеры механических калькуляторов, созданных во времена Лейбница, и когда он был в Париже, он без сомнения видел складывающий калькулятор созданный Блезом Паскалем (Blaise Pascal) в 1642 году. Но Лейбниц хотел сделать универсальный калькулятор, который мог выполнять четыре основных арифметических операции. Также ему хотелось, чтобы калькулятор был простым в использовании, к примеру, поворот ручки в одну сторону означал бы умножение, а в другую — деление.

В работах Лейбница существует множество чертежей и схем этой машины:

Он представлял себе, что его калькулятор принесет огромную практическую пользу и немалую долю его фантазий составляли идеи успешного развития бизнеса связанного с калькулятором. Но к сожалению Лейбницу не удалось сделать калькулятор надежным — далеко не всегда он выдавал правильный результат. Как и большинство подобных механизмов того времени калькулятор представлял собой лишь приукрашенный путемер (одометр). Лейбниц столкнулся с той же проблемой что и Чарльз Бэббидж (Charles Babbage) двести лет спустя — крайне сложно заставить все диски двигаться одновременно, когда это необходимо.

В начале Лейбниц создал деревянный прототип который как он надеялся сможет работать с трехзначными или четырехзначными числами. Но на предварительных показах в частности перед Робертом Хуком (Robert Hooke) в Лондоне в 1673 механизм подвел его. Однако он продолжил размышлять над его усовершенствованием — в 1679 году была опубликована работа «Последние доработки к арифметической машине»:

Заметки от 1682 года говорят о том что Лейбниц столкнулся с новыми проблемами:

Но у него были чертежи и он заказал у инженеров производство медной версии механизма для работы с большим числом цифр:

В частности Лейбниц подготовил даже «маркетинговый материал» для своей машины:

… и инструкцию пользователя …

Здесь изображена полная модель машины с инструкциями по использованию:

Но несмотря на все его усилия, калькулятор все еще не работал. Лейбниц работал над калькулятором на протяжении сорока лет и потратил на него в общей сложности при пересчете на сегодняшний курс более миллиона долларов

Когда я посетил его архив — я не мог не спросить кураторов о том что же случилось с этим калькулятором. «Хм, мы можем Вам показать его» — был ответ. Калькулятор стоял на одной из многочисленных полок в подвале и выглядел совершенно новым в своем стеклянном ящике — мое собственное фото в котором странным образом переплетаются прошлое и современность:

Калькулятор не потерял ни одной детали. Он был в удобном переносном деревянном чехле с ручкой для проведения арифметических операций. Если бы он работал правильно то всего за несколько минут вращения этой ручки мы могли бы получить ответ на любой вопрос из раздела простой арифметики.

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

Основания отличные от 10 на протяжении столетий использовались в различных занимательных математических примерах, но Лейбниц сосредоточился на основании 2 так как считал что оно имеет особенное значение и возможно является мостом между философией, теологией и математикой. А когда он узнал о I Chang от миссионеров из Китая это лишь укрепило его веру. Он рассматривал эту работу как родственную своей characteristica universalis.

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

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

После Лейбница на протяжении еще пары столетий двоичная система счисления не развивалась вплоть до недавнего роста связанного с появлением компьютеров. Поэтому расчеты Лейбница касающиеся двоичной системы смело можно назвать опережающими время:

Работая с двоичными числами Лейбниц искал самый простой способ описания структуры вещей. И когда он ввел понятие «монады» он без сомнения стремился к тому же самому. Должен сказать я так никогда и не смогу понять монады. Когда мне казалось что я все понимаю находился какой-нибудь нюанс который разрушал всю целостность картины.

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

Вокруг Лейбница и его трудов всегда существовала некая тайна. Курт Гёдель (Kurt Gödel) (возможно в приступе паранойи) был убежден, что Лейбниц открыл великую истину которую затем скрыли от общества на века. Но несмотря на тот факт, что работы Лейбница были изъяты после его смерти это произошло из-за того, что в трудах по истории и генеалогии содержались сведения не подлежащие огласке будь то государственные или личные тайны властьимущих.

Труды Лейбница были опубликованы давным-давно, но до сих пор до конца не изучены. И проблема не в том, что их слишком много. Всего это около 200 000 страниц, которые заполняют не более дюжины книжных полок. Это лишь немногим больше чем мой личный архив, который я веду с 1980-х. Затруднение вызывает разнородность материала — не только различные области знаний, но и рисунки, созданные один поверх другого, записки и письма взаимосвязь между которыми не до конца понятна.

Архив документов Лейбница содержит как очень большие документы:

так и очень маленькие (с возрастом почерк Лейбница стал более мелким и плотным):

Большинство документов в архиве выглядят весьма серьезно и по-научному. Однако, не смотря на то что бумага во времена Лейбница стоила довольно дорого — он не стеснялся расходовать ее на забавные рисунки (возможно это Спиноза?).

Лейбниц поддерживал почтовую переписку с сотнями людей — как известных так и не очень по всей Европе. И поэтому 300 лет спустя в его архивах можно найти случайные письма от известных людей, например, от Якоба Бернулли (Jacob Bernoulli):

Как выглядел Лейбниц? Вы можете видеть официальный портрет и неофициальный бюст, на котором нет большого парика, служившего причиной насмешек даже в то время. Предположительно Лейбниц носил парик, чтоб скрыть кисту на голове.

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

В качестве человека при дворе, Лейбниц всегда стремился подняться как можно выше, но не питая страсти к охоте или выпивке он не вписывался в высшие круги на которые работал. Под конец жизни, когда Геогр Первый (George I) из Ганновера стал королем Англии, Лейбниц должен был отправиться с ним в Англию. Но ему было сказано что до того как отправиться туда он должен был написать исторический труд над которым он якобы работал уже 30 лет. Если б он успел дописать его до своей смерти и ему бы разрешили отплыть в Англию, то тогда у него мог быть весьма интересный диалог с Ньютоном.

В архиве Лейбница помимо его бумаг и калькулятора есть еще одна вещь — складной стул который он брал с собой путешествуя и которым он пользовался также в качестве стола в экипажах чтобы продолжать писать в дороге:

Лейбниц всегда беспокоился о своем статусе — часто подписывался как Gottfried von Leibniz хотя никто не знал откуда взялась эта частичка von. В качестве еще одного знака отличия за свои открытия он хотел иметь медаль, которая бы была посвящена двоичным числам. Он разработал подробный внешний вид на котором присутствовала надпись omnibus ex nihilo ducendis; sufficit unum («все может быть выведено из ничего; все что нужно это 1»). Но эту медаль ему так никто и не сделал.

В 2007 году мне захотелось придумать необычный подарок на 60-летие моего друга Грега Чатина (Greg Chaitin) который на протяжении многих лет изучал жизнь и труды Лейбница. И я сделал для него медаль Лейбница. На обратную сторону медали вместо предлагаемого Лейбницем изображения герцога мы поместили надпись на латыни о работах Грега.

Во время посещения архива я, конечно же, взял медаль с собой:

Интересно было бы узнать какая надпись могла бы быть на могиле Лейбница. Но когда Лейбниц умер в возрасте 70 лет, его политическая карьера была в упадке и никаких мемориальных досок создано не было. Но когда я был в Ганновере мне очень хотелось увидеть его могилу — на которой по латыни было написано «Кости Лейбница».

Впрочем по всему городу, к примеру, продается печенье «Лейбниц»:

Что же мы можем сказать о Лейбнице? Если бы история сложилась по другому то сегодня была бы прямая связь между Лейбницем и современными вычислениями. Но все сложилось как сложилось и большинство трудов Лейбница остались в стороне — мы можем смотреть на них лишь с точки зрения наших сегодняшних знаний.

Теперь мы знаем точно, в чем Лейбниц отдавал себе отчет, а чего не понимал. Он ухватился за концепцию формального описания и символьного представления широкого диапазона различных вещей. Он предполагал, что существуют универсальные элементы (например, 1 и 0) из которых любое описание может быть создано. Он понимал, что если бы можно было представить знания в символьной форме, то все следствия были бы лишь вопросом механики. Это позволило бы создать новые знания перечисляя различные варианты.

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

По правде говоря, он добился успеха лишь однажды, работая в сфере непрерывной «геометрической» математики. Жалко что он никогда не пытался серьезно заняться дискретной математикой, так как, мне кажется, он смог бы достичь в ней существенных результатов и возможно дошел бы до идеи универсальных вычислений. Также он мог бы дойти до попытки перенумеровать возможные системы по аналогии с тем как это сделал я в вычислительной вселенной.

Он попробовал применить данный подход в праве, но на тот момент это было слишком рано. Только сейчас — 300 лет спустя — данная идея начинает казаться реалистичной.

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

В некотором смысле я думаю Лейбниц не смог сделать большего так как он слишком сильно пытался найти практическое применение своим исследованиям и — как и Ньютон — старался описать реальные физические процессы, а не оперировать с абстрактными структурами. Если бы Лейбниц попытался провести хотя бы небольшое исследование по аналогии с тем, что я провел в NKS то у него, на мой взгляд, не возникло бы с этим трудностей, а история науки могла пойти совершенно в другом направлению.

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

Я часто думаю, что мой способ мышления, мои убеждения касательно того как необходимо работать со знаниями в современном мире это нечто очевидное и то что неизбежно придет если вы начнете думать о мире с формальной точки зрения. Но тем не менее я никогда не понимал является ли такой способ мышления результатом современного уровня развития вычислительных технологий. Но труды Лейбница доказывают, что даже без достижений современных технологий такое отношение к вещам возможно. Конечно, нельзя отрицать, что окружающие технологии и опыт прошлых лет накладывают ограничения на то как далеко может уйти мысль в своем развитии.

Такие размышления подводят нас к серьезному вопросу — насколько сильно нам не хватает технологий ближайшего будущего, чтоб продвинуться в данном образе мышления? Для меня это очень серьезный вопрос, но одно я могу сказать наверняка. На протяжении всей жизни Лейбниц видел всего лишь несколько компьютеров и все что они могли делать — это простейшие арифметические операции. Сегодня миллиарды компьютеров по всему миру выполняют множество различных операций. И в будущем число компьютеров лишь возрастет (Principle of Computational Equivalence). И без сомнения мы дойдем до такого уровня, когда компьютеры будут окружать нас всюду. В результате мы сможем программировать все что угодно вплоть до атомов. Конечно, в биологии уже были достигнуты подобные успехи, но лишь в ограниченном объеме. В будущем никаких ограничений не будет.

В какой-то степени это повлечет за собой объединение вычислений и физических процессов. Но представить это сейчас так же сложно, как Лейбницу представить Wolfram Mathematica или Wolfram|Alpha.

Лейбниц умер 14 Ноября 1716 года. В 2016 году будет 300 лет с этого дня. И это будет хороший повод для того чтобы наконец изучить все его наследие и отпраздновать то что многие из его основных идей спустя 300 лет были воплощены в жизнь таким способом, который он и не мог себе представить.

Источник