Марио Ливио - Был ли Бог математиком? Галопом по божественной Вселенной с калькулятором, штангенциркулем и таблицами Брадиса

Эти скромные слова знаменовали зарождение работы, которая совершила переворот в символической логике.

Джордж Буль (рис. 47) родился 2 ноября 1815 года в промышленном английском городе Линкольн [123] Подробная биография Буля – MacHale 1985. . Его отец Джон Буль был в Линкольне сапожником, однако очень интересовался математикой и с большим мастерством изготавливал самые разные оптические инструменты. Мать Буля Мэри Энн Джойс работала горничной. Поскольку отец относился к своему ремеслу довольно прохладно, семья была небогатой. До семи лет Джордж ходил в частную школу, а затем – в начальную, где его учителем был некто Джон Уолтер Ривс. В детстве Буль интересовался в основном латынью, которой его учил местный книготорговец, и древнегреческим, который выучил сам. В четырнадцать лет он даже перевел стихотворение Мелеагра – греческого поэта I века до н. э. Гордый отец опубликовал перевод в «Линкольн Геральд», на что один местный учитель напечатал заметку, где выражал сомнение, что такой перевод мог сделать подросток. Бедность семьи вынудила Джорджа Буля в шестнадцать лет начать работать помощником учителя. В последующие годы он посвятил свободное время изучению французского, итальянского и немецкого. Знание современных языков оказалось ему очень кстати, поскольку позволило обратить внимание на работы великих математиков – Сильвестра Лакруа, Лапласа, Лагранжа, Якоби и других. Но и тогда Булю не удалось получить систематическое математическое образование, и он продолжал заниматься самостоятельно – продолжая зарабатывать преподаванием на жизнь и на поддержку родителей, братьев и сестер. Тем не менее математические таланты этого самородка стали понемногу проявляться, и он начал печатать статьи в «Кембриджском математическом журнале».

В 1842 году Буль вступил в регулярную переписку с де Морганом, которому отправлял на отзыв свои статьи по математике. Поскольку у Буля уже складывалась репутация независимого, оригинально мыслящего математика и к тому же он заручился рекомендацией де Моргана, в 1849 году ему предложили место преподавателя математики в Королевском колледже в Ирландии, в городе Корк. Там он и трудился до конца своих дней. В 1855 году Буль женился на Мэри Эверест (в честь ее дяди, географа Джорджа Эвереста, была названа гора), которая была моложе его на семнадцать лет, и у них было пять дочерей. Скончался Буль безвременно в возрасте всего сорока девяти лет. В 1864 году холодным зимним днем он по дороге в колледж попал под ледяной ливень, но настоял на том, чтобы все-таки прочитать все лекции, хотя одежда у него промокла до нитки. А дома жена, по всей видимости, лишь усугубила его состояние, поскольку пыталась «лечить подобное подобным» и ведрами лила воду в его постель. Буль заболел воспалением легких и 8 декабря 1864 года умер. Бертран Рассел искренне восхищался этим гениальным самоучкой: «Чистую математику открыл Буль в работе, которую назвал “Законы мышления” (1854)… На самом деле его книга посвящена формальной логике, а это – то же самое, что математика». Интересно, что и Мэри Буль (1832–1916), и все пять их дочерей сумели прославиться в самых разных областях, от химии до педагогики, что для того времени было весьма необычно.

Рис. 47

«Математический анализ логики» Буль опубликовал в 1847 году, а трактат «Законы мышления», полное название которого звучит как «Исследование законов мышления, на которых основаны математические теории логики и вероятностей» (« An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities ») – в 1854 году. Это подлинные шедевры, благодаря которым был сделан огромный шаг вперед в прослеживании параллелей между логическими и арифметическими операциями. Буль буквально превратил логику в разновидность алгебры (которая получила название булева алгебра ) и расширил логический анализ до вероятностных рассуждений. Вот что говорил сам Буль (Boole 1854).

Цель следующего трактата [ «Законов мышления»] – исследовать фундаментальные законы тех операций разума, посредством которых выполняется рассуждение, выразить их на символическом языке исчисления и на этом фундаменте основать логику как науку и выстроить ее метод, чтобы сделать сам этот метод основой обобщенного метода для применения к математической доктрине вероятностей и, наконец, собрать, возможно, из различных элементов истины, которые будут выявлены в ходе этих исследований, какие-то сведения о природе и устройстве человеческого сознания.