|
Реализовал он эту идею только через много лет; первая его статья на эту тему вышла в 1847 г. и называлась «Математический анализ логики, или Эссе на тему исчисления дедуктивных рассуждений». Огастес де Морган, с которым Буль вел активную переписку, посоветовал ему подготовить более объемную и продуманную книгу. Его интересы в значительной мере перекрывались с интересами Буля. Буль последовал совету, и в 1854 г. из печати вышел капитальный труд «Исследование законов мышления, на которых основаны математические теории логики и вероятностей». В этой работе Буль, по существу, создал математическую логику и основал то, что со временем стало теоретической базой информатики.
* * * Отец Буля Джон происходил из старой линкольнширской семьи фермеров и торговцев, «лучших кровельщиков и самых читающих людей» в крохотной деревеньке Броксхолм. Он стал сапожником и уехал в Лондон, надеясь сделать состояние. Работая в одиночестве в темном подвале, он отгонял от себя депрессию изучением французского языка, физики и математики, особенно конструкции оптических инструментов. Джон познакомился с камеристкой Мэри Джойс, женился на ней, и через полгода молодые переехали в Линкольн, где открыли сапожную мастерскую. Оба хотели ребенка, но прошло 10 лет, прежде чем у них родился первенец; мальчика назвали Джорджем. Вскоре за ним последовали девочка и еще два мальчика. Джону гораздо больше нравилось делать телескопы, чем тачать обувь, так что дела в его мастерской шли ни шатко ни валко, и Булям приходилось, чтобы свести концы с концами, сдавать комнаты постояльцам. Джордж вырос в интеллектуальной атмосфере и обладал пытливым умом. Отец научил его английскому языку и математике. Сын обожал математику и к 11 годам умудрился осилить шеститомник по геометрии (его отец сделал об этом в книге запись карандашом). Буль много читал, обладал почти фотографической памятью и способен был мгновенно вспомнить любой нужный ему факт. В 16 лет Буль стал учителем в школе Хейгэма. Позже, сменив еще две учительские должности, он в возрасте 19 лет основал собственную школу в Линкольне; затем взял на себя руководство Академией Холла в Ваддингтоне. Его семья присоединилась к нему, чтобы помогать в управлении школой. Буль никогда не терял интереса к высшей математике, читал Лапласа и Лагранжа. Он открыл в Линкольне школу с пансионом и начал публиковать свои исследования в недавно основанном Cambridge Mathematical Journal. В 1842 г. Буль начал переписку (которая продолжалась до конца его жизни) с близким ему по духу де Морганом. В 1844 г. он получил медаль Королевского общества, а в 1849 г. благодаря своей растущей репутации был назначен первым профессором математики в Королевском колледже Корка (Ирландия). Там в 1850 г. он встретил свою будущую жену Мэри Эверест (племянницу Джорджа Эвереста, осуществившего первую серьезную геодезическую съемку Индии, в результате чего в его честь была названа высочайшая гора Земли). Они поженились в 1855 г. и родили пятерых замечательных дочерей: Мэри вышла замуж за математика и писателя Чарльза Говарда Хинтона, блестящего негодяя; Маргарет – за художника Эдварда Ингрэма Тейлора; Алисия под влиянием Хинтона провела серьезное исследование четырехмерных правильных многогранников; Люси стала первой в Англии женщиной – профессором химии; наконец, Этель вышла замуж за польского ученого и революционера Вильфреда Войнича и написала роман «Овод».
* * * Среди ранних работ Буля есть одно простое открытие, приведшее в конечном итоге к созданию теории инвариантов – области алгебры, оказавшейся внезапно на самом острие науки. При исследовании алгебраических уравнений формулу иногда можно упростить, если заменить переменные в ней подходящими выражениями с новым набором переменных. Решаем это упрощенное уравнение, находим значения новых переменных, затем отступаем назад и находим значения первоначальных. |
