Пятая дочь джорджа буля 6 букв. С юбилеем Джорджа Буля! Джордж Буль: биография

БУЛЬ ДЖОРДЖ

(1815 г. – 1864 г.)


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

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

Уже в полтора года (!) Джордж стал посещать линкольнскую школу, в которой обучались дети торговцев. Затем (до семи лет) он учился в коммерческой школе, которой управлял один из друзей Джона Буля. Уже тогда мальчик проявлял свои выдающиеся способности, правда, иногда весьма своеобразным образом. Однажды Джордж не пришел на занятия. Его нашли в городе, где он занимался тем, что… зарабатывал деньги. Ребенок в детском переднике безошибочно произносил по буквам сложные слова, а восторженная толпа кидала ему в награду монеты.

Первые уроки математики Джордж получил от отца. Под его же руководством мальчик начал строить оптические приборы. В семь лет он пошел в начальную школу Общества народных школ . Здесь Джордж продолжил удивлять всех своими лингвистическими талантами. Отец договорился о дополнительных уроках латыни с местным книготорговцем Уильямом Бруком, который впоследствии подружился с Джорджем и позволял ему пользоваться своей обширной библиотекой. В 12 лет, овладев латынью под руководством Брука, талантливый мальчик самостоятельно занялся греческим. А когда ему было четырнадцать, вокруг вундеркинда возник скандал, и, опять же, весьма своеобразного свойства. Он сделал превосходный перевод поэмы Мелеагра. Отец, гордый успехами своего сына, издал его. Но один из местных учителей возмутился, утверждая, что 14-летний мальчик не мог так качественно перевести с древнегреческого сложную поэму.

В сентябре 1828 года Джордж Буль стал посещать Коммерческую академию Бэйнбриджа. Конечно, образование в Академии на тот момент уже не соответствовало запросам талантливого юноши, но лучшего его родители обеспечить не могли. Теми же предметами, которые не входили в школьную программу, Джордж занимался самостоятельно. Так он освоил немецкий, французский, итальянский. Собственно, на Академии систематическое образование Буля и окончилось. Уже в 16 лет он начал работать помощником учителя в одной из школ Донкастера – Джон Буль практически разорился, и семья очень нуждалась.

Интересно, что вначале своего жизненного пути Джордж подумывал о духовной карьере. Но затем он увлекся математикой и вскоре оставил мысль сделаться священником. В 1833 году Буль некоторое время преподавал в Ливерпуле, затем в Академии Холла в Уоддингтоне – небольшом городке под Линкольном, и наконец в 1834 году, открыл в Линкольне собственную школу. В это время Джорджу было только 19 лет.

В 1838 году Роберт Холл, основатель Академии в Уоддингтоне, умер, и Джорджу Булю было предложено возглавить это заведение. Вместе с родителями, двумя братьями и сестрой Джордж перебрался в Уоддингтон, и семейство стало совместно заведовать делами школы. Это помогло решить финансовые проблемы. Но молодой ученый к этому времени уже имел свои собственные идеи о том, каким должно быть образование. Еще во время существования его первой линкольнской школы он написал эссе, в котором рассуждал об этом. Буль настаивал на необходимости прежде всего понимать, а не запоминать материал – идея на тот момент не такая уж и распространенная. Кроме того, он утверждал, что в воспитании нужно большое внимание уделять формированию морально-этических ценностей, и полагал этот аспект работы педагога наиболее трудным, но и при этом наиболее важным. Поэтому, по мере улучшения материального положения семьи, Джордж все чаще и чаще возвращался к идее создания собственной академии.

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

Со временем Буль все больше и больше увлекался математикой. Педагогическая и организационная деятельность отнимала очень много времени, для самостоятельных занятий математикой оставались только ночи. Но и этого гению Буля хватило для того, чтобы вскоре заявить о себе как о серьезном математике. Еще в Уоддингтоне Джордж увлекся работами Лапласа и Лагранжа. На полях их книг он делал примечания, которые впоследствии легли в основу его первых изысканий. С 1839 года молодой ученый стал отправлять свои работы в новый «Кембриджский математический журнал». Его статьи были посвящены различным вопросам математики и отличались самостоятельностью суждений. Постепенно английские математики стали обращать внимание на линкольнского самоучку. Одним из первых его оценил редактор журнала Дункан Грегори, который быстро понял, что имеет дело с гениальным ученым. В дальнейшем Грегори много переписывался с Булем и помогал ему советами.

Но научные устремления Джорджа Буля на этом не были полностью удовлетворены. Он ощущал нехватку систематического образования и научной сферы общения. Одно время Джордж подумывал о том, чтобы получить в Кембридже математическую степень, но необходимость финансово поддерживать семью заставила его отказаться от этой мысли. К тому же Грегори писал Булю, что в таком случае ему пришлось бы оставить собственные оригинальные исследования, а они уже начинали приносить автору славу. В 1842 году Джордж отправил именитому математику Августу де Моргану работу «Об общем методе анализа, применяющего алгебраические методы для решения дифференциальных уравнений». Морган добился публикации этой статьи в материалах Королевского общества, и она была удостоена медали Общества за вклад в развитие математического анализа. А в 1847 и 1848 годах были написаны труды «Математический анализ логики» и «Логическое исчисление», которые буквально вознесли Буля на вершину научного Олимпа.

Интересно, что первая из этих работ была чем-то вроде памфлета, в котором автор пытался доказать, что логика более близка к математике, чем к философии. Сам Буль позже расценивал ее как поспешную и несовершенную демонстрацию его идей. Но коллеги, особенно Морган, очень высоко оценили «Математический анализ логики». В любом случае, в этих трудах, а также в написанном позднее (в 1854 году) «Исследовании законов мышления, базирующихся на математической логике и теории вероятности» Буль заложил основы так называемой «алгебры логики» или «булевой алгебры». Он показал аналогию между логическими и алгебраическими операциями. Иными словами, ученый основывался на том, что математические операции можно производить не только над числами. Он придумал систему обозначений, пользуясь которыми, можно закодировать любые высказывания. Далее Буль ввел правила для манипулирования высказываниями, как обыкновенными числами. Манипуляции сводились к трем основным операциям: И, ИЛИ, НЕ. С их помощью можно производить основные математические действия: сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, английский ученый подробно изложил основы двоичной системы счисления. Надо сказать, что идеи Джорджа Буля лежат в основе всех современных цифровых устройств.

В 1830–1840 годах английское правительство планировало создание новых колледжей в Ирландии. В 1846 году Буль подал прошение о назначении его профессором в один из колледжей. Но поначалу оно оставалось неудовлетворенным, ведь Джордж не имел научной степени. После же выхода упомянутых выше работ математика-самоучку поддержал целый ряд известных ученых, в первую очередь – Морган. В результате в августе 1849 года Буль получил кафедру математики в Куинз-колледже в Корке. О популярности Джоржда в его родном Линкольне говорит тот факт, что в честь его отъезда в городе был дан праздничный ужин, а земляки вручили ученому ценные подарки. Надо сказать, что и на новом месте Джордж Буль проявил себя с самой лучшей стороны. Он принял активнейшее участие в деле становления нового учебного заведения. Уже весной 1851 года Джордж был назначен директором по науке.

Примерно в это же время произошли изменения и в личной жизни Джорджа Буля. В 1850 году он познакомился с Мэри Эверест, племянницей одного из профессоров колледжа. (Интересно, что другим дядей Мэри был известный геодезист Джордж Эверест, который первым измерил высочайшую вершину Земли.) Летом 1852 года Мэри вновь побывала в Корке, а затем Буль посетил ее семейство. Несмотря на большую разницу в возрасте (17 лет), между Мэри и Джорджем завязались дружеские отношения. Они много переписывались. При встречах Буль также давал своей юной приятельнице уроки математики – получить систематическое образование представительнице слабого пола в те времена было очень сложно. Джордж долго скрывал свои чувства к Мэри и только в 1855 году решился сделать предложение. Это произошло после того, как умер отец девушки, и она осталась практически без средств к существованию. Брак был счастливым. В семье родилось пять дочерей, одна из которых, Этель Лилиан Войнич, стала известной писательницей, автором романа «Овод».

После выхода в свет «Исследования законов мышления» Джордж Буль получил почетные степени от Дублинского и Оксфордского университетов, а в 1857 году был избран членом Лондонского королевского общества. В дальнейшем он опубликовал еще две важные работы: «Трактат о дифференциальных уравнениях» (1859) и «Трактат о вычислении предельных разностей» (1860), которые сыграли большую роль в развитии математики.

Смерть Джорджа Буля была очень неожиданной. Он был полон сил, энергии, много работал, еще больше планировал сделать. Опасение внушали только некоторые проблемы с легкими, которые появились после переезда в Корк – город с более влажным климатом, чем Линкольн. 24 ноября 1864 года случилось, казалось бы, вполне заурядное событие, которое в итоге привело к трагическим последствиям. По дороге в колледж Буль попал под дождь и сильно промок. Тем не менее, он не отменил занятий и проводил их в мокрой одежде, из-за чего сильно простудился. Вскоре простуда перешла в воспаление легких. Победить болезнь не удалось, и 8 декабря Джордж Буль умер.

Сегодня, ровно 200 лет назад, 2 ноября 1815 г. , родился Джордж Буль — английский математик и логик, профессор математики Королевского колледжа Корка, один из основателей математической логики.

Предками Джорджа были йомены, т.е. фермеры владевшие участком земли с годовым доходом 40 шиллингов и в силу этого имевшие право заседать в суде присяжных, и кроме того пользоваться другими правами, а так же мелкие ремесленники, обосновавшиеся на востоке Англии, в г. Линкольне и его окрестностях. По крайней мере, начиная с XVI в., фамилия Boole (являющаяся старым вариантом написания "Bull" - бык) впервые появляется в записях в районах юго-западнее Скегнесса; несколько позже в районе Ньюарка они предстают констеблями в Контоне. Ветвь семьи Джорджа жила на северо-запад от Линкольна в Броксхолме по крайней мере с середины XVII в. Отец Джорджа, Джон Буль, держал сапожную мастерскую. Однако, сапожное дело, служившее источником пропитания для семьи, в которой было четверо детей (Джордж родился в 1815 году, Мэри в 1818 году, Уильям в 1819 году и в 1821 году Чарльз), он уделял значительно меньше внимания, чем своему главному увлечению математике и логике, а так же изготовление различных оптических приборов. Жители Линкольна хорошо знали Джона Буля, — еще бы: он не только усердно агитировал за раннее ношение очков, но и частенько, закончив работу над очередным телескопом, стоит заметить по тем временам отличный, вывешивал в окне своей лавки объявление: "Всякого, кто пожелает с чувством благоговения наблюдать создания Господа нашего, я приглашаю прийти и взглянуть на них через мой телескоп". Отец будущего ученого был добрым, глубоко религиозным и – как сказали бы сегодня – общественником. Свято веря в то, что призвание и работа ради хлеба насущного суть разные вещи, он принял активное участие в создании уникальной для своего времени общественной организации – Института Механики, где любой горожанин мог проводить свой досуг, занимаясь любимым делом. Невероятно, но владельцы городских лавок и мастерских под впечатлением агитации Джона Буля начали закрывать их пораньше, чтобы дать возможность своим служащим и рабочим посетить "кружки по интересам" в этом Институте. У домашних Джона не было вполне ясного представления о профессии главы семьи. "Кажется, он мог делать хорошо всё, – писала впоследствии о своем свекре жена Джорджа, – за исключением собственного дела – управляться в мастерской". Мать же Джорджа Буля на вопрос, чем занимался отец ее знаменитого сына, кратко ответила: «Он был философ».

Буль-младший обожал отца и с детских лет помогал ему шлифовать линзы и делать другую нехитрую механическую работу. Образование мальчик получил соответственно достатку семьи: окончил местную начальную школу (научившись писать и считать). В сентябре 1828 года Джордж Буль стал посещать Коммерческую академию Бэйнбриджа. Конечно, образование в Академии на тот момент уже не соответствовало запросам талантливого юноши, но лучшего его родители обеспечить не могли. Теми же предметами, которые не входили в школьную программу, Джордж занимался самостоятельно. Вскоре юноша решил поставить крест на своем дальнейшем пребывании в учебном заведении, так как коммерция не прельстила юношу. Вместе с тем у него созрело сильное желание стать широко образованным человеком. Джон Буль, знавший в математике лишь то, что было необходимо для расчета линз и другой оптики, дал своему сыну первые уроки по геометрии и тригонометрии, но тот не сумел обнаружить рано свои выдающиеся таланты в точных науках, и его первым увлечением стали классические авторы. Конечно, никакой латинский или греческий не преподавали в школе, которую посещал Буль. К счастью, у общительного Джона было много друзей в Линкольне, и один из них, книготорговец Уильям Брук, обучил мальчика латинской грамматике и позволил пользоваться книжными богатствами своей лавки. Книги по истории, географии, религиозные сочинения, классическая и современная художественная литература, поэзия – вот что составляло круг его чтения. Бруку приходилось только удивляться трудолюбию юноши, не дававшему пылиться книгам на его полках. У него была почти фотографическая память. "Мой мозг устроен таким образом, – писал он впоследствии, – что любые факты или идеи, о которых я узнавал, запечатлевались в нем подобно хорошо упорядоченной группе рисунков". Любознательный молодой человек самостоятельно изучает древнегреческий, а позднее немецкий и французский и итальянский языки по книгам, которые он брал на время у своего приятеля. В возрасте 12 лет сумел перевести оду Хорейса на английский язык. Ничего не понимая в качестве техники перевода, гордый отец Буля все-таки напечатал его в местной газете. Некоторые специалисты заявляли, что 12-летний мальчик не мог сделать такой перевод, другие отмечали серьезные технические дефекты перевода. Решив совершенствовать свои знания латинского и древнегреческого, Буль провел следующие два года в серьезном изучении этих языков, и снова без чьей-либо помощи. Хотя этих знаний было недостаточно, чтобы превратиться в истинного джентльмена (не смотря на то, что промышленная революция в Англии уже произошла, знание древних языков было показателем уровня образования джентльмена), такая тяжелая работа дисциплинировала его и способствовала классическому стилю созревавшей булевой прозы. В 14 лет он перевел с древнегреческого "Оду весне" Мелеагра, а отец послал перевод в местную газету, указав возраст переводчика. Публикация этого литературного труда Джорджа вызвала резкую реакцию некоего учителя, который направил в газету гневное письмо, утверждая, что в столь юном возрасте сделать такой грамотный перевод невозможно и редакция занимается очковтирательством. Нет худа без добра: благодаря этому письму жители Линкольна узнали, что среди них живет необычайно талантливый юноша.

Самообразование шло своим чередом, но одним талантом не поможешь отцу, который практически разорился, прокормить семью. И едва Джорджу исполнилось 16 лет, он начинает работать младшим учителем (ассистентом (помощником) учителя) латыни и математики в методистской школе-пансионе для мальчиков в городе Донкастер, графство Йоркшир, совмещая обязанности лаборанта и привратника (так или иначе, он продолжал преподавание на разных должностях в течение всей жизни). Холодными длинными ночами, когда дети засыпали, он занимался самообразованием и думал о будущем. Как вырваться из круга бедности? Какое место он сможет занять в обществе? Путь в армию для него закрыт – для покупки офицерского патента нужны были деньги, учеба в университете стоила немало, а влачить жалкое существование школьного учителя под началом какого-нибудь невежественного и злобного "Сквирса" – было не по нему. Поэтому Джордж подумывал о том, чтобы стать священнослужителем (Буль был глубоко религиозен) и продолжал совершенствоваться в древних языках, читал классику, изучал патристику (труды отцов церкви). Но затем он увлекся математикой и вскоре оставил мысль сделаться священником. Не тратя времени даром, семнадцатилетний лаборант приступил к систематическому изучению математики, но продвигался в этой области знаний медленно из-за отсутствия действенной помощи, хотя ему и помогал (помимо отца) его друг Д.С. Диксон, получивший математическую степень в Оксфорде. По словам миссис Буль, её муж говорил ей впоследствии, что начал читать математические книги потому, что они были значительно дешевле книг по классической филологии.

Через два года, в 1833 г. он, однако, покинул Донкастер. Это случилось, когда директору школы стало известно, что младший учитель принадлежит к унитарной церкви, занимается математикой по воскресеньям и даже в церкви решает математические задачи (грех-то какой!). Пришлось Джорджу искать другое место работы, хотя некоторые ученики очень полюбили его и "молились о его обращении". Впрочем, была еще одна причина ухода юного педагога. Как вспоминал один из его коллег, "она состояла в том, что Буль был полностью поглощен своими собственными мыслями, и в такой степени "отсутствовал", что мальчики начинали плутовать. Он был превосходным учителем, если видел, что ребенок понимает его (у него было два таких ученика)… Но для большинства детей, не проявлявших рвения в учебе и нуждавшихся в непрерывном натаскивании, он был самым плохим учителем из тех, кого я когда-либо встречал. Вместо объяснений он выходил из себя и с раздражением отправлял ученика прочь – а парнишка только и ждал этого, чтобы уйти с урока. Ученики подсовывали ему работы, которые были выполнены другими, или несколько раз показывали ему одно и то же задание, а если они говорили, что у них все выполнено правильно, он охотно верил этому и снова углублялся в свои книги… Во всем остальном его ценили очень высоко, настолько высоко, насколько это возможно".

Работу Джордж нашел в Ливерпуле, в учебном заведении некоего Марро. Однако через 6 месяцев, не выдержав, по собственному признанию, "творившегося там хаоса", перебрался в родной город и основал маленькую школу-пансион. В это время Джорджу было только 19 лет! Диапазон научных интересов Буля в это время достаточно широк: его почти в равной мере интересовали математика и логика, этика Спинозы, философские работы Аристотеля и Цицерона. Но постепенно Буль склоняется все больше к проблемам приложения математических методов к гуманитарным областям (одной из таких областей в то время считалась и логика). Буль внимательнейшим образом штудирует Ньютоновы «Philosophiae Naturalis Principia» и «Механику» Лагранжа, сличая, попутно, методы обоих ученых. Представьте себе трудности молодого человека, знакомого лишь с началами математики и пытающегося понять утверждения, которые часто приводились без доказательств, предваряясь сакраментальным: "легко видеть, что…" (тем более что книги великих французов он изучал в оригинале). Он был поражен способностью Лагранжа сводить решение физических проблем к чисто математическим задачам. Уже здесь Буль, по-видимому, глубоко задумывается над возможностью абстрагирования от физических фактов и фактов обычного разговорного языка и перехода к некоторой системе эффективно построенных символов, которые обладали бы известной самостоятельностью и с которыми можно было бы работать по внутренне им присущим законам. Свидетельством того, что Джордж не просто пролистывал эти книги, а старался глубоко вникнуть в их содержание, служит его научный очерк "О гении и открытиях сэра Исаака Ньютона" (1835 г.), в которой он сравнивал методологию Ньютона и Лагранжа: "Трудами Лагранжа вопрос о движении возмущенных планет со всеми его сложностями и разнообразием сведен к чисто математической проблеме. Это устраняет физическую сторону задачи; возмущенная и возмущаемая планеты исчезают; идеям времени и силы положен конец; самое элементы орбит уже не принимаются во внимание, и только существуют как переменные величины в математических формулах. В исследованиях Ньютона это удачное преобразование не имеет места… Возмущающие силы анализируются, их влияние рассматривается для различных положений [планеты] – над и под эллиптической плоскостью и при совпадении с нею… Вечные колеса Вселенной вращаются перед нами, и их движения могут быть прослежены посредством изменяющегося разнообразия причин, условий и следствий". По словам историка математической логики, это сравнение свидетельствует о том, что Буль уже тогда "задумывался над возможностью абстрагирования от физических фактов... и переходе к некоторой системе эффективно построенных символов, которые обладали бы известной самостоятельностью и с которыми можно было бы работать по внутренне им присущим законам".

Но школа давала слишком скромный доход, а ведь юноша был по сути кормильцем семьи. И в 1838 году Джорджу Булю с готовностью принял предложение возглавить после смерти основателя и директора Роберта Холла Академию для детей состоятельных фермеров в Ваддингтоне, небольшом городке под Линкольном, куда вместе с родителями, двумя братьями и сестрой Джордж и перебрался. Семейство стало совместно заведовать делами школы, что помогло решить финансовые проблемы. Но молодой ученый к этому времени уже имел свои собственные идеи о том, каким должно быть образование. Еще во время существования его первой линкольнской школы он написал эссе, в котором рассуждал об этом. Буль настаивал на необходимости прежде всего понимать, а не запоминать материал – идея на тот момент не такая уж и распространенная. Кроме того, он утверждал, что в воспитании нужно большое внимание уделять формированию морально-этических ценностей, и полагал этот аспект работы педагога наиболее трудным, но и при этом наиболее важным. Поэтому, по мере улучшения материального положения семьи, Джордж все чаще и чаще возвращался к идее создания собственной академии.

Публикация первой статьи («Теория математических преобразований», 1839) привела к дружбе между Булем и Дунканом Ф. Грегори, молодым кембриджским алгебраистом, принадлежавшим к знаменитой шотландской семье (которая дала миру Джеймса Грегори (1638-1675), изобретшего рефракционный телескоп и доказавшего сходимость ряда для числа π, и Дэвида Грегори (1659-1708) – математика, оптика, астронома, друга Ньютона), возглавлявшим вновь организованный «Кембриджского математического журнала», где статья была опубликована. Ободренный поддержкой, Джордж в течение нескольких лет публикует в том же журнале статьи по операторным методам анализа, теории дифференциальных уравнений и алгебраических инвариантов (1841). Пожалуй, это самое замечательное достижение молодого Буля: не будь теории инвариантов, развитой впоследствии Артуром Кэли и Джеймсом Сильвестром, возможно, "не состоялась" бы и теория относительности Альберта Эйнштейна. Творческий союз продолжался до самой смерти Грегори в 1844 году. В этот журнал и наследовавший ему «Кембриджский и дублинский математический журнал» Буль представил 22 статьи.

В 1840 году, скопив достаточно денег, Буль на свой страх и риск вернулся в Линкольн, где открыл школу-интернат. Вскоре семья присоединилась к Джорджу, и они опять стали работать вместе. К счастью, с коммерческой точки зрения идея оказалась удачной, и больше Були не испытывали материальных проблем. Необходимо отметить, что добившись финансовой самостоятельности и положения в обществе, Джордж много средств и времени тратил на благотворительную деятельность. Он, в частности, стал активным членом Комитета, организовавшего Дом кающихся женщин. Задачей этой организации была помощь молодым девушкам, вынужденным заниматься проституцией. В этом отношении Линкольн был крайне неблагоприятным местом, здесь находилось около 30 публичных домов. Даже мэр города признавал, что подобного нет больше ни в одном городе Англии. Также Джордж поддерживал Ремесленный институт, читал там много лекций, добился учреждения при институте научной библиотеки. Днем он учил маленьких мальчиков, а досуг посвящал чтению и… сочинению стихов и поэм, классических по форме, метафизических и религиозных по содержанию, таких, как, например, "Сонет № 3":

Оригинал

Перевод

When the great Maker, on creation bent
Thee from thy brethren chose and framed by thee
The world to sense revealed, yet left it free,
To those whose intellectual gaze intent
Beyond the veil phenomenal is sent,
Space diverse systems manifold to see
Revealed by thought alone; was it that we,
In whose mysterious spirits thus are blent
Finite of sense and infinite of thought,
Should feel how vast how little us our store –
As you excelling arch with orbs deep fraught
To the light wave that dies along the shore –
Till from our weakness and our strength may rise
One worship unto Him the only wise?
Когда великий Творец, склонившись над своим созданием,
Избрал тебя среди твоих собратьев и облек,
явив миру, в неповторимую форму, но оставив доступным
для тех, чей вдумчивый пристальный взгляд стремится
проникнуть за занавесу бытия,
чтобы узреть всю многоликость мироздания,
подвластного одной лишь мысли, возможно ли,
чтобы мы, в чьей загадочной душе соединены
конечность чувств и бесконечность мысли,
почувствовали, как огромно и как мало то, чем мы владеем,
когда, преисполненные опасностями, проносимся по неповторимой дуге вместе с небесными светилами
к волнам света, умирающим на берегу,
пока из нашей слабости и нашей силы не возникнет вера
в Него, единственно мудрого?
Чтобы читатель мог убедиться в блестящей стихотворной технике Буля, я привожу сонет в оригинале и даю его подстрочник, так как любой поэтический перевод, по словам Гете, "подобен поцелую возлюбленной через покрывало", а "переводчик напоминает сводню, которая, расхваливая достоинства прикрытой вуалью красавицы, вызывает непреоборимое желание познакомиться с оригиналом". Любовь к поэзии была у Буля столь велика, а пером он владел настолько свободно, что иногда даже зарифмовывал частную переписку с друзьями, отнюдь не философского содержания.

Со временем Буль все больше и больше увлекался математикой. Педагогическая и организационная деятельность отнимала очень много времени, для самостоятельных занятий математикой оставались только ночи. Но и этого гению Буля хватило для того, чтобы вскоре заявить о себе как о серьезном математике. Еще в Уоддингтоне Джордж увлекся работами Лапласа и Лагранжа. На полях их книг он делал примечания, которые впоследствии легли в основу его первых изысканий. С 1839 года молодой ученый стал отправлять свои работы в новый «Кембриджский математический журнал». Его статьи были посвящены различным вопросам математики и отличались самостоятельностью суждений. Постепенно английские математики стали обращать внимание на линкольнского самоучку. Одним из первых его оценил редактор журнала Дункан Грегори, который быстро понял, что имеет дело с гениальным ученым. В дальнейшем Грегори много переписывался с Булем и помогал ему советами.

Но научные устремления Джорджа Буля на этом не были полностью удовлетворены. Он ощущал нехватку систематического образования и научной сферы общения. Одно время Джордж подумывал о том, чтобы получить в Кембридже математическую степень, но необходимость финансово поддерживать семью заставила его отказаться от этой мысли. К тому же Грегори писал Булю, что в таком случае ему пришлось бы оставить собственные оригинальные исследования, а они уже начинали приносить автору славу. В 1842 году Джордж отправил именитому математику Августу де Моргану работу «Об общем методе анализа, применяющего алгебраические методы для решения дифференциальных уравнений». Морган добился публикации этой статьи в материалах Королевского общества, и она была удостоена медали Общества за вклад в развитие математического анализа.

Буль вступает в переписку с математиками из Кембриджа, которые отмечают оригинальность математических идей своего корреспондента и советуют ему не держать их под спудом. Вняв настояниям своих новых друзей, Буль в 1844 г. удостаивается самой высокой для английского математика чести: Лондонское королевское общество награждает его золотой медалью за статью "Общий метод анализа". В заключительном абзаце этой работы Буль как бы намечает направление своих будущих исследований: "Положение, обоснование которого больше всего меня занимает, заключается в том, что любой значительный прогресс в высшем анализе немыслим без повышенного внимания к законам комбинации символов. Значение этого положения едва ли можно переоценить, и я только сожалею, что из-за отсутствия книг, а также из-за обстоятельств, неблагоприятных для занятий математикой, я не могу привести совершенное доказательство его справедливости…"

Для выполнения задуманного Буль в середине 40-х гг. начинает усиленно заниматься проблемами логики и создает новое исчисление: вводит определенную символику, операции и законы, определяющие эти операции. Если Лейбниц в свое время пытался арифметизировать логику, то Буль ее алгебраизирует, превращая в математическую науку. В принципе, его идеи лежали в русле попыток английских алгебраистов создать символическую алгебру, т. е. "науку о символах и их комбинациях, конструируемых по их собственным правилам, которая может быть применена к арифметике или к другим наукам посредством интерпретации" (Д. Пикок). Черновые наброски булевого исчисления, заложившего основу современной математической логики, относятся к лету 1846 г.

Один из друзей ученого вспоминал: "Я хорошо помню тот день, когда Буль написал первые страницы своей первой работы по логике. Это произошло во время его визита ко мне в Гейнсборо. Мы спустились на пароходе по Тренту к красивейшим холмам Элкборо. В течение часа мы бродили по ним и любовались прекрасным пейзажем, а затем он пожелал уединиться. Он сел в тень огромного куста и оставался там до тех пор, пока я не побеспокоил его, сказавши, что пора возвращаться. Ночью он прочел мне написанное им и объяснил систему, изложение которой он опубликовал в следующем году".

Публикация, о которой шла речь в предыдущем абзаце, была тоненькой книжкой "Математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения" (The mathematical analysis of logic, being an essay towards a calculus of deductive reasoning). В предисловии автор писал: "Те, кто знаком с настоящим состоянием символической алгебры, отдают себе отчет в том, что обоснованность процессов анализа зависит не от интерпретации используемых символов, а только от законов их комбинирования. Каждая интерпретация, сохраняющая предложенные отношения, равно допустима, и подобный процесс анализа может, таким образом, при одной интерпретации представлять решение вопроса, связанного со свойствами чисел, при другой – решение геометрической задачи и при третьей – решение проблемы динамики или оптики…". Новаторство Буля состояло в ясном осознании абстрактности создаваемого им исчисления, определяемого лишь теми законами, которым подчиняются операции.

Хотя "Математический анализ логики..." был по сути кратким конспектом идей Буля, он привлек внимание не только его кембриджских друзей, но и многих других известных ученых, в том числе Августа де Моргана (1806 –1871). Я уже не раз упоминал о нем как об учителе леди Лавлейс и почитателе ее таланта. Сейчас стоит уделить ему большее внимание, так как де Морган-логик, по словам историка, "подготовил дорогу для Буля" и стал впоследствии горячим приверженцем его идей.

Занятия Буля логикой были в значительной степени стимулированы дискуссией между А. Де Морганом и У. Гамильтоном, за которой он с интересом следил весной 1847 г. Буль сам отмечает это обстоятельство в предисловии к “Математическому анализу логики”, написанному в октябре 1847 г. Он признает также, что А. Де Морган был первым логиком, обратившимся к анализу количественно определяемых предложений. Де Морган восторженно приветствовал попытку Буля применить алгебраические методы для решения задач логики. "Я полагаю, – писал он, – что именно м-р Буль установил истинную связь алгебры и логики". И далее: "Система логики Буля – одно из многих свидетельств объединенных усилий гениальности и терпения…. Операции над алгебраическими символами, изобретенные в качестве средства числовых вычислений, достаточны для выражения любых движений мысли и предоставляют собой грамматику и словарь законченной логической системы… Когда Гоббс во времена Республики (Commonwealth) опубликовал книгу "Вычисления или Логика", он имел смутное представление о некоторых вопросах, которые получили освещение в дни м-ра Буля. Однако единство форм мышления во всех разнообразных проявлениях разума не было достигнуто и стало предметом, вызвавшим всеобщий интерес. Имя м-ра Буля всегда будут помнить в связи с тем, что им сделаны наиболее значительные шаги в этом направлении".

Наряду с логическими и математическими исследованиями Буль продолжал сочинять поэтические произведения, классические по форме и философские по содержанию. Ему принадлежат два стихотворения (“Сонет к числу три” и “Звание мертвеца”. В его рукописях нашли также стихотворное письмо к Бруку, датированное 1845 г. В этом письме описывается предпринятый им визит на заседание Британской научной ассоциации, а также праздник на острове Уайт. А в 1847 и 1848 годах были написаны труды «Математический анализ логики» и «Логическое исчисление», которые буквально вознесли Буля на вершину научного Олимпа. Интересно, что первая из этих работ была чем-то вроде памфлета, в котором автор пытался доказать, что логика более близка к математике, чем к философии. Сам Буль позже расценивал ее как поспешную и несовершенную демонстрацию его идей. Но коллеги, особенно Морган, очень высоко оценили «Математический анализ логики». В любом случае, в этих трудах, а также в написанном позднее (в 1854 году) «Исследовании законов мышления, базирующихся на математической логике и теории вероятности» Буль заложил основы так называемой «алгебры логики» или «булевой алгебры». Он показал аналогию между логическими и алгебраическими операциями. Иными словами, ученый основывался на том, что математические операции можно производить не только над числами. Он придумал систему обозначений, пользуясь которыми, можно закодировать любые высказывания. Далее Буль ввел правила для манипулирования высказываниями, как обыкновенными числами. Манипуляции сводились к трем основным операциям: И , ИЛИ , НЕ . С их помощью можно производить основные математические действия: сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, английский ученый подробно изложил основы двоичной системы счисления. Надо сказать, что идеи Джорджа Буля лежат в основе всех современных цифровых устройств.

В 1849 г. кембриджские друзья-математики устраивают Булю математическую профессуру в только что открывшемся Куинз Колледже (ныне Университетский колледж Корк) в г. Корке (Ирландия). Претендент был утвержден в должности несмотря на то, что не имел университетского образования или степени, где и преподавал до конца жизни.

Буль полюбил бродить в окрестностях Корка, знакомиться и беседовать с местными крестьянами. Он рассказывал, как однажды, попав под проливной дождь, попросил убежища в бедном домишке, стоявшем на краю торфяного болота. Заметив, что все обитатели дома ходят босиком, он снял башмаки и чулки и поместил их сушиться у огня. "Это обнажение (denuding) ног, – вспоминал Буль, – кажется, способствовало установлению дружеских отношений и вызвало общую симпатию ко мне. Дети, которые раньше робели перед незнакомцем, присоединились к нашему кругу, за ними последовала собака; маленький поросенок не спеша приблизился к нам и просунул свой пятачок между моих ног поближе к огню (получив за это выговор от хозяйки), и, наконец, курицы и другие домашние птицы своим присутствием завершили круг участников этого светского приема". Не надо искать в этих словах насмешки или презрительного отношения к "сирым мира сего" – поднявшись на несколько ступенек вверх по социальной лестнице, он остался чужд социальным предрассудкам, столь распространенным тогда в Великобритании. Приведу в качестве подтверждения рассказ одной пожилой леди, переданный младшей дочерью ученого: "В один июньский день 1856 г. она [леди – Ю. Полунов.] отправилась в трущобный переулок позади колледжа, чтобы нанять трубочиста для прочистки дымохода в ее доме. В переулке она увидела идущего впереди себя отца, который стучался во все подряд двери домов. Когда она проходила мимо него, она заметила, как он пылко тряс руки босоного оборванца, говоря: "Я пришел, чтобы сказать тебе, дорогой друг: "У меня родилось дитя, и оно так прекрасно!"".

Облик Буля как педагога рисует нам Р. Рис. Он приводит воспоминания ученика Буля Р. А. Джемисона, отправившегося на преподавательскую работу в Шанхай. Джемисон пишет, что Буль зачастую стремился к тому, чтобы его слушатели смогли сами заново открывать некоторые из уже полученных другими учеными результатов (а не излагал их все на своих лекциях). "Он приучал нас, продолжает вспоминать Джемисон, почувствовать “радость открытия”". К этим замечаниям Джемисона и Риса можно лишь добавить, что, по-видимому, Буль не терял надежды на то, что когда-нибудь его ученики сделают еще и не открытое открытие.

А вот воспоминания других студентов Буля.

"Секрет его успеха, я думаю, состоял в том, что он, кажется, никогда не повторял или воспроизводил то, что однажды изучил сам, и всегда стремился к тому, чтобы создавалось впечатление, что он получает результат во время лекции, и что студенты участвуют в этом вместе с ним, и вместе с ним разделяют честь открытия".
"Мы никогда не чувствовали, что находимся в присутствии человека, являющегося знатоком математики – скорее в присутствии человека, который, как и мы, является учеником, постигающим математические истины. Он опускался до уровня наших знаний, и мы двигались дальше одновременно с ним. Хотя мы знали, что он излагает известные ему идеи, казалось, что он не использует заранее подготовленный и выверенный набор фраз или задач. Лекция фактически читалась так, что создавалось впечатление, что именно в этот момент его посещают некоторые оригинальные идеи. Иногда, развивая их, он, казалось, вообще забывал о нашем присутствии...".
"Он с большой тщательностью готовил большой список вопросов и задач, начиная с азов и кончая высшими разделами математики, которые время от времени печатал и раздавал студентам. Он любил повторять, что пока эти примеры не решены, нельзя говорить о большом прогрессе в изучении предмета, и то, что было усвоено на лекциях, вскоре будет забыто".
"Любителям алгебраического анализа доставляло истинное удовольствие наблюдать за тем, как некоторые основополагающие математические принципы становились понятными после того, как он исписывал одну доску за другой своими формулами. Каждый раз, когда он при этом доходил до пункта, важного для получения конечного результата, его лицо озарялось радостной улыбкой удовлетворения, и когда он с надеждой задавал аудитории вопрос: "Можете ли вы дальше продолжить самостоятельно?" – то обычно получал положительный ответ. Но если слышал: "Мы не поняли этот или тот пункт", – никогда не раздражался, а спокойно объяснял снова и снова, используя другие средства или рисунки, или прибегая к помощи тех, которые уже поняли проблему...".

О том, как студенты уважали и любили своего профессора, свидетельствует такой эпизод. Однажды он пришел в аудиторию задолго до начала лекции, и, повернувшись лицом к доске, углубился в размышления. Аудитория постепенно заполнялась студентами, которые вели себя очень тихо, чтобы не помешать профессору. Время шло, а Буль продолжал стоять спиной к студентам. Лекционный час истек, и студенты также тихо, как входили и рассаживались, покинули аудиторию. Когда Буль пришел домой, он сказал жене: "Моя дорогая, сегодня произошло экстраординарное событие – никто из моих студентов не пришел на лекцию".


Примерно в это же время произошли изменения и в личной жизни Джорджа Буля. В 1850 году он познакомился с Мэри Эверест, дочерью профессора греческого языка в Куинз Колледже Томаса Эвереста и племянницей бывшего генерал-губернатора Индии, известного географа-геодезиста Джорджа Эвереста (его именем названа высочайшая вершина в Гималаях, которую он первым измерил). Летом 1852 года Мэри вновь побывала в Корке, а затем Буль посетил ее семейство. Несмотря на большую разницу в возрасте (17 лет), между Мэри и Джорджем завязались дружеские отношения. Они много переписывались. При встречах Буль также давал своей юной приятельнице уроки математики – получить систематическое образование представительнице слабого пола в те времена было очень сложно. Джордж долго скрывал свои чувства к Мэри и только в 1855 году решился сделать предложение. Это произошло после того, как умер отец девушки, и она осталась практически без средств к существованию. Брак был счастливым. Мэри Эверест, при жизни стала музой Джорджа, полагая, что ее главное предназначение в жизни – воспитание детей и создание условий для научного творчества великого математика, каковым она (справедливо) считала своего мужа, а после его смерти, написав несколько сочинений, в последнем из которыхх — “Философия и развлечения алгебры” (1909 г.), пропагандировала математические идеи Джорджа, популяризируя его вклад в логику. Правда, забота о нем иногда принимала деспотические формы. Занимаясь математическими исследованиями, ученый не забывал и о гуманитарных предметах. Его интересовали лингвистика и логика, философия, этика и поэзия. Этот слишком большой разброс интересов профессора математики его супруга, отличавшаяся сильным характером, видимо, не одобряла. Однажды, увидев, что Джордж занят "мучительным процессом стихосложения", она отобрала листы с набросками сонета и бросила их в огонь камина, сказав, что ему не пристало таким образом использовать свое драгоценное время. Не желая ссориться с супругой, Буль решил срочно закончить свою поэтическую “карьеру”, полагая, что окончательное решение в этом вопросе должно принадлежать жене, поскольку ей виднее. Современники отмечают демократические привычки Буля, отсутствие у него какого бы то ни было почтения к установившимся в Британии социальным предрассудкам и барьерам, указывают на его принципиальный характер и развитое чувство юмора.

Из его пяти дочерей, три стали незаурядными личностями. Старшая, Люси, стала в Англии первой женщиной, получившей звание профессора химии. Третья, Алисия, так же как и ее отец, не получив специального математического образования, получила ряд интересных результатов в геометрии. В частности, она построила из картона по чисто эвклидовому методу, используя лишь циркуль и линейку, трехмерные сечения всех шести регулярных четырехмерных фигур. Полученные ею результаты были опубликованы лишь частично (она сфотографировала часть своих моделей и отослала их с пояснениями профессору Шоуту в Гронинген; Шоут опубликовал их вместе со своей статьей). Подобно отцу, Алиса обладала сильно развитым чувством собственного достоинства и долга. К сожалению, она постепенно ограничила круг своих интересов семьей (муж-актер Вальтер Скотт и двое детей), перестав заниматься научной работой. Но самой известной стала младшая дочь - Этель Лилиан, в замужестве Войнич, автор ряда романов, в том числе популярного романа об освободительной борьбе итальянских карбонариев — "Овод". За ним последовало еще несколько романов и му­зыкальных произведений, а также перевод на английский язык стихотворе­ний Тараса Шевченко. Еще две дочери тоже так или иначе связаны с математикой. Вторая, Маргарет - мать математика и физика Джефри Инграма Тейлора, специалист по гидродинамике и теории волн, иностранного члена Академии наук СССР. Его знания пригодились в Лос-Аламосе, куда Тейлор был направлен вместе с британской делегацией Манхэттенского проекта 1944—1945 годов. Четвертая, Мэри, жена математика, изобретателя и писателя-фантаста Ч.Г. Хинтона — автора широко из­вестной повести “Случай в Флатландии”, где описаны некие существа, живущие в плоском двухмерном мире. Из многочисленного потомства Хинтонов особого внимания заслуживает Джоан, которая была одной из немногих женщин-физиков, принимавших участие в работе над атомным проектом в США.

После выхода в свет «Исследования законов мышления» Джордж Буль получил почетные степени от Дублинского и Оксфордского университетов, а в 1857 году был избран членом Лондонского королевского общества. В дальнейшем он опубликовал еще две важные работы: «Трактат о дифференциальных уравнениях» (1859) и «Трактат о вычислении предельных разностей» (1860), которые сыграли большую роль в развитии математики. В 1861 году Джордж Буль удостоен рыцарского звания.

Смерть Джорджа Буля была очень неожиданной. Он был полон сил, энергии, много работал, еще больше планировал сделать. Опасение внушали только некоторые проблемы с легкими, которые появились после переезда в Корк – город с более влажным климатом, чем Линкольн. 24 ноября 1864 года случилось, казалось бы, вполне заурядное событие, которое в итоге привело к трагическим последствиям. В проливной дождь Буль прошел две мили, отделявшие его дом от колледжа, и хотя промок до нитки, добросовестный профессор не стал отменять лекций, а провёл их в мокрой одежде, из-за чего сильно простудился. Вскоре простуда перешла в воспаление легких. Говорят, что для ухода за мужем Мария Эверест использовала модную в те времена гомеопатию, утверждающую, что болезнь можно вылечить с помощью средства, вызвавшего эту болезнь, т.е. "клин клином вышибают". В результате, Джорджа Буля оборачивают в мокрой простыни. Поэтому не странно, что победить болезнь не удалось, и 8 декабря Джордж Буль умер... спустя 10 лет после того, как было опубликовано его основное логическое произведение “Законы мысли”. Оставшиеся после него рукописи свидетельствовали о его намерениях продолжить разработку логической теории. Начиная с 1854 г. Буль сосредоточил свои усилия на приложении разработанного им исчисления к теории вероятностей и не публиковал работ, непосредственно относящихся к логике. Однако работа Буля в области математики всегда была лишь подспорьем и стимулировалась его размышлениями о логике, даже когда он стал приходить (в последний период своей творческой деятельности) к мысли о том, что логика независима от математики и должна составить ее основу. Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, затем занялся математической логикой. В основных трудах Буля "математический анализ логики, являющийся опытом исчисления дедуктивного рассуждения" и "исследование законов мышления, в которых основаны математические теории логики и вероятности" были заложены основы математической логики. Для математических работ Буля характерно пристальное внимание, уделяемое им так называемому «символическому методу». Английский логик считал, что математические операции (в том числе и такие, как дифференцирование и интегрирование) должны, прежде всего, изучаться с точки зрения присущих им формальных свойств, что дает возможность производить преобразование выражений, включающих в себя эти операции, независимо от внутреннего содержания таких выражений. Публике Буль был известен в основном как автор ряда трудных для понимания статей на математические темы и трёх или четырёх монографий, ставших классическими. Всего Булем было опубликовано порядка пятидесяти статей в различных изданиях и несколько монографий. В настоящее время тексты Буля собраны в двух книгах. Касаясь содержания одной из них, немецкий логик Г. Шольц замечает: “В этой книге объединено семнадцать лекций: двенадцать по теории вероятностей, философское предисловие под заголовком: “Требования к науке, специально основывающиеся на ее отношении к человеческой природе” и четыре лекции, содержащие идею логического исчисления. Я не в состоянии особо выделить для рассмотрения теоретико-вероятностные лекции. Идеи Буля в этой области кажутся настолько не доведенными до конца, что невольно возникает вопрос, чем вообще мотивировано их переиздание. Однако это недоумение рассеивается, как только мы переходим к рассмотрению принадлежащего Булю логического исчисления, которое у него является вспомогательным средством для решения теоретико-вероятностных проблем... Среди лекций, непосредственно относящихся к идее логического исчисления, наиболее существенна первая: “Математический анализ логики”... В другой из этих книг собраны и неопубликованные при жизни рукописи Буля, представляющие значительный историко-логический интерес. Например, в одной рукописи содержится предвосхищение чистого пропозиционального исчисления (до Хью Мак-Колла). Философских аспектов логики Буль касается в другой рукописи, относящейся к 1855 или к 1856 г.

Математическая логика
Буль был, вероятно, первым после Джона Валлиса математиком, обратившимся к логической проблематике. Идеи применения символического метода к логике впервые высказаны им в статье «Математический анализ логики» (1847). Не удовлетворённый полученными в ней результатами, Буль высказывал пожелание, чтобы о его взглядах судили по обширному трактату «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854). Буль не считал логику разделом математики, но находил глубокую аналогию между символическим методом алгебры и символическим методом представления логических форм и силлогизмов. Единицей Буль обозначал универсум мыслимых объектов, буквенными символами — выборки из него, связанные с обычными прилагательными и существительными (так, если x="рогатые", а y="овцы", последовательный выбор x и y из единицы даст класс рогатых овец). Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В такой символике высказывания могут быть сведены к форме уравнений, а заключение из двух посылок силлогизма — получено путём исключения среднего термина по обычным алгебраическим правилам. Ещё более оригинальной и примечательной была часть его системы, представленной в «Законах мышления…», образующая общий символический метод логического вывода. Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путём чисто символических манипуляций. Вторая часть «Законов мышления…» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.

Математический анализ
На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета.

Другие труды
Хотя за исключением математических и логических работ Буль публиковался мало, его труды обнаруживают широкое и глубокое знакомство с литературой. Его любимым поэтом был Данте, причём «Рай» нравился ему больше, чем «Ад». Постоянными предметами изучения были для Буля метафизика Аристотеля, этика Спинозы, философские труды Цицерона и множество подобных работ. Размышления о научных, философских и религиозных вопросах содержатся в четырёх речах — «Гений сэра Исаака Ньютона», «Достойное пользование досугом», «Притязания науки» и «Социальный аспект интеллектуальной культуры» — произнесённых и опубликованных им в разное время.

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




Считают, что одним из прототипов профессора Джеймса Мориарти сэра Артура Конан Дойля был Джордж Буль. История Мориарти очень похожа на историю Буля, начиная от работы в качестве профессора в небольшом университете на периферии, и заканчивая его значением для математики. Тем более, что Конан Дойл был знаком с женой ученого - Мэри


Во многих языках программирования «boolean type» – логический тип данных (где значение может быть либо верным, либо ложным).

Чистая математика была открыта Булем в работе, которую он назвал "Законы мышления".

Бертран Рассел

Джордж Буль (2 ноября 1815 - 8 декабря 1864), - английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк). Один из предтеч математической логики.

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

В 1831 г. в возрасте 16 лет Буль был вынужден поступить на работу, чтобы помочь семье. Четыре года он проработал на мало оплачиваемой должности помощника учителя, но затем, осмелев, решил открыть собственную школу. Поняв, что ему следует углубить свои познания в математике, чтобы превзойти учеников, он приступил к чтению математических журналов, которые имелись в библиотеке местного научного учреждения. И тут у Буля обнаружились поистине неординарные способности. Изучив горы научных публикаций, он овладел сложнейшими математическими теориями своего времени. У него возникли и собственные оригинальные идеи. Буль стал записывать их, не прекращая в то же время преподавательской работы в своей маленькой школе. В 1839 г. одна из его статей была принята к публикации научным журналом. На протяжении следующего десятилетия работы Буля регулярно печатались, и его имя приобрело известность в научных кругах.

В 1849 году в городе Корк (Ирландия) открылось новое высшее учебное заведение - Куинз-колледж. К этому времени математическая деятельность Буля получила столь высокую оценку, что он, несмотря на отсутствие формального образования, был приглашен на профессорскую должность математического факультета Королевского колледжа в Ирландии, которую сохранил до конца жизни. Только здесь он получил возможность не только обеспечить родителей, но и спокойно, без мыслей о хлебе насущном, заниматься наукой. Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, а затем занялся математической логикой.

Буль все чаще стал задумываться над вопросом, над которым задолго до него размышлял Лейбниц, - как подчинить логику математике. В 1847 г. Буль написал важную статью на тему «Математический анализ логики», а в 1854 г. развил свои идеи в работе под названием «Исследование законов мышления». Эти основополагающие труды Буля внесли поистине революционные изменения в логику как науку.

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

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

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

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

Через год после опубликования “Законов мышления…” Буль женился на Мэри Эверест, племяннице профессора греческого языка Королевского колледжа. Счастливый брак длился в течение девяти лет, вплоть до безвременной кончины Джорджа Буля.

8 декабря 1864 года, в возрасте 49 лет, по-читаемый и известный, Джордж Буль умер от воспаления легких.

У четы Булей было пять дочерей. Старшая, Мэри, вышла замуж за Ч. Хинтона - математика, изобретателя и писателя-фантаста - автора широко известной повести “Случай в Флатландии”, где описаны некие существа, живущие в плоском двухмерном мире. Из многочисленного потомства Хинтонов трое внуков стали учеными: Говард - энтомологом, а Вильям и Джоан - физиками. Последняя была одной из немногих женщин-физиков, принимавших участие в работе над атомным проектом в США. Вторая дочь Булей, Маргарет, вошла в историю как мать крупнейшего английского механика и математика, иностранного члена Академии наук СССР Джеффри Тэйлора. Третья, Алисия, специализировалась в исследовании многомерных пространств и получила почетную ученую степень в Гронингенском университете. Четвертая, Люси, стала первой в Англии женщиной-профессором, возглавившей кафедру химии. Но наиболее известной из всех дочерей Булей стала младшая, Этель Лилиан, вышедшая замуж за ученого - эмигранта из Польши Войнича. Войдя в революционную эмигрантскую среду, она написала прославивший ее на весь мир роман “Овод”. За ним последовало еще несколько романов и музыкальных произведений, а также перевод на английский язык стихотворений Тараса Шевченко. Войнич скончалась в Нью-Йорке в возрасте 95 лет, немного не дожив до столетия со дня смерти своего знаменитого отца математика Джорджа Буля.

Имя Буля носят следующие математические объекты:

  • булева алгебра;
  • булева функция;
  • булево кольцо;
  • булево программирование;
  • булевы операции;
  • булев разброс;
  • булево разложение;
  • булева регулярная точка ядра.

По материалам Википедии и статьи «Джордж Буль. Отец булевой алгебры» в книге А.Частикова "Архитекторы компьютерного мира".

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

«Уральский государственный университет физической культуры»

Кафедра Математики, физики и информационных технологий

по дисциплине «Информатика»

Джордж Буль

Выполнила

студентка группы № 120а

Ахлюстина Е.В.

Проверил преподаватель

Алтухова М.А.

Челябинск 2013

Введение

1. Биография

4. Булева алгебра

Заключение

Введение

Буль (Boole) Джордж (2 ноября 1815, Линкольн, Великобритания - 8 декабря 1864, Баллинтемпль, Ирландия), английский математик и логик, один из основоположников математической логики. Разработал алгебру логики (булеву алгебру) ("Исследование законов мышления", 1854), основу функционирования цифровых компьютеров.

1. Биография

Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн -- 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) -- английский математик и логик.

Джордж Буль родился в бедной рабочей семье. Первые уроки математики получил у отца и, хотя посещал местную школу, в общем его можно считать самоучкой. В 12 лет он уже знал латынь, затем овладел греческим, французским, немецким и итальянским языками. В 16 лет уже преподавал в деревенской школе, а в 20 открыл собственную школу в Линкольне. В редкие часы досуга зачитывался математическими журналами Механического института, интересовался работами математиков прошлого - Ньютона, Лапласа, Лагранжа, проблемами современной алгебры.

Его первоначальное преподавание было всегда на уровне, однако он не считал это профессией, хотя она и была почетна. Буль стал священнослужителем. Когда он не преподавал, то проводил время в серьезном изучении французского, немецкого и итальянского языков, в подготовке к церковной жизни. Неудачи, бедность его семейства еще раз разрушили планы Буля; родители убеждали его отказаться от религиозной жизни ввиду их ухудшающегося финансового положения. Он был женат (с 1855 г.) на Мэри Эверест (з. Эверест-Буль).

2. Вклад в информатику. Методологические идеи Джорджа Буля

Начиная с 1839 года, Буль стал посылать свои работы в новый Кембриджский математический журнал. Его первая работа "Исследования по теории аналитических преобразований" касалась дифференциальных уравнений, алгебраических проблем линейной трансформации и концепции инвариантности. В своем исследовании 1844 года, опубликованном в "Философских трудах Королевского общества", он коснулся проблемы взаимодействия алгебры и исчисления.

В том же году молодой ученый был награжден медалью Королевского общества за вклад в математический анализ. Вскоре после того, как Буль убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал памфлет "Математический анализ логики", в котором высказал идею, что логика более близка к математике, чем к философии.

В 1854 году он опубликовал работу "Исследование законов мышления, базирующихся на математической логике и теории вероятностей". Работы 1847 и 1854 годов дали рождение алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов - истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно было закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями - И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, Булю удалось подробно описать двоичную систему счисления. В своей работе "Законы мышления" (1854) Буль окончательно сформулировал основы математической логики.

Методологические идеи Джорджа Буля

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

Полезно также обратить внимание на то, как Буль определяет замысел своих “Законов мысли”: “Цель настоящего исследования состоит в том, чтобы изучить основные законы тех операций ума, посредством которых осуществляются рассуждения; -- в том, чтобы дать выражение этих законов в символическом языке логического исчисления, и на этом основании утвердить логику как науку и ее методы, -- в том, чтобы сделать эти методы базисом еще более общего метода в целях приложения его к математической теории вероятностей; и, наконец, в том, чтобы, объединив различные элементы истины, проложить путь к выдвижению некоторых вероятностных указаний, касающихся природы и структуры человеческого мышления”.

Итак, превращение логики в точную науку мыслится Булем с помощью трактовки ее предмета средствами математического аппарата. Уже в своей работе “Математический анализ логики” (1847) Буль писал: “Руководствуясь принципом правильной классификации, необходимо теперь связать логику не с философией, а с математикой”.

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

3. Вклад Джорджа Буля в развитие математической логики

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

Вскоре после того как Буль убедился, что его алгебра вполне применима к логике, в 1847 году он опубликовал памфлет «Математический анализ логики», в котором высказал идею, что логика более близка к математике, чем к философии. Эта работа была чрезвычайно высоко оценена английским математиком Огастесом (Августустом) Де Морганом. Благодаря этой работе Буль в 1849 году получил пост профессора математики Куинз-колледжа в графстве Корк.

В 1854 году опубликовал работу «Исследование законов мышления, базирующихся на математической логике и теории вероятностей». Работы 1847-1854 годов положили начало алгебре логики, или булевой алгебре. Буль первым показал, что существует аналогия между алгебраическими и логическими действиями, так как и те, и другие предполагают лишь два варианта ответов -- истина или ложь, нуль или единица. Он придумал систему обозначений и правил, пользуясь которыми можно было закодировать любые высказывания, а затем манипулировать ими как обычными числами. Булева алгебра располагала тремя основными операциями -- И, ИЛИ, НЕ, которые позволяли производить сложение, вычитание, умножение, деление и сравнение символов и чисел. Таким образом, Булю удалось подробно описать двоичную систему счисления. В своей работе «Законы мышления» (1854 г.) Буль окончательно сформулировал основы математической логики. Он также попытался сформулировать общий метод вероятностей, с помощью которого из заданной системы вероятных событий можно было бы определить вероятность последующего события, логически связанного с ними.

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

Буль обозначал универсум мыслимых объектов, буквенными символами -- выборки из него, связанные с обычными прилагательными и существительными. Буль показал, что символика такого рода подчиняется тем же законам, что и алгебраическая, из чего следовало, что их можно складывать, вычитать, умножать и даже делить. В «Законах мышления» (An investigation of the Laws of Thought), Буль показал, как из любого числа высказываний, включающих любое число терминов, вывести любое заключение, следующее из этих высказываний, путем чисто символических манипуляций. Вторая часть «Законов мышления» содержит аналогичную попытку обнаружить общий метод в исчислении вероятностей, позволяющий из заданных вероятностей совокупности событий определить вероятность любого другого события, логически связанного с ними.

Буль изобрел своеобразную алгебру -- систему обозначений и правил, применимую к всевозможным объектам, от чисел и букв, до предложений. Пользуясь этой системой, Буль мог закодировать высказывания -- утверждения, истинность или ложность которых требовалось доказать, - с помощью символов своего языка, а затем манипулировать ими подобно тому, как в математике манипулируют обычными числами.

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

В 1857году Буль был избран членом Лондонского Королевского общества. Его работы «Трактат о дифференциальных уравнениях» (1859г.) и «Трактат о вычислении предельных разностей» (1860 г.) оказали колоссальное влияние на развитие математики. В них нашли свое отражение наиболее важные открытия Буля.

Большинство логиков того времени либо игнорировали, либо резко критиковали систему Буля, но ее возможности оказались настолько велики, что она не могла долго оставаться без внимания.

4. Булева алгебра

Булевой алгеброй называется непустое множество A с двумя бинарными операциями (аналог конъюкции), (аналог дизъюкцию), унарной операцией (аналог отрицания) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина) такими, что для всех a, b и c из множества A верны аксиом.

Булева алгебра может быть определена как дистрибутивная решётка, в которой выполнены две последние аксиомы. Структура, в которой выполняются все аксиомы, кроме предпоследней, называется псевдобулевой алгеброй.

Из аксиом видно, что наименьшим элементом является 0, наибольшим является 1, а дополнение ¬ a любого элемента a однозначно определено.

Самая простая нетривиальная булева алгебра содержит всего два элемента, 0 и 1, а действия в ней определяются в Таблице 1, Таблице 2 и Таблице 3:

Таблица 1. Конъюнкция

Таблица 3. Инверсия

5. Булевы функции. Графический способ решения задания

Определение. Переменная x называется булевой, если она способна принимать только два значения 0 и 1. В качестве примера интерпретации такого рода переменных может выступать обычный настенный выключатель света на два положения. Здесь 1 соответствует положению переключателя вверх и 0 -- положению вниз.

Определение. Функция f(x1,x2,…,xn) называется булевой (или логической, или функцией алгебры логики, или переключательной), если все ее аргументы x[i] являются булевыми, а сама функция также может принимать только два значения 0 и 1. Множество всех булевых функций от переменных x1,x2,…,xn обозначают через P2.

Способы задания булевых функций не отличаются от способов задания обычных функций анализа. К таковым способам задания стандартно относятся:

1) табличный;

2) графический;

3) аналитический.

Графический способ решения задания

Рассмотрим графическое представление булевой функции трех аргументов w=f(x,y,z), заданной таблично. Заметим, что множество наборов области определения функции D={(x,y,z), | x,y,z ? {0,1}} является множеством координат точек вершин единичного трехмерного куба. Очевидный способ графического представления булевой функции -- это отметить каким-то образом вершины куба, в которых функция принимает значение 1.

Замечание. Очевидно, что область определения булевой функции n аргументов w=f(x1,x2,…,xn) составляется из наборов координат точек вершин единичного n-мерного куба.

Символы ¬, |, v, ?, ?, >, ?, ~, участвующие в обозначениях элементарных функций, называются логическими связками (операциями) или функциональными символами.

Заключение

Бурное развитие математической логики во многом определяет основные тенденции научного прогресса наших дней.

Основоположником математической логики является Джордж Буль. Положив в основу своих исследований аналогию между алгебры и логики, он разработал соответствующее логическое исчисление, в котором применил законы и операции математики (добавление классов, умножение и т.п.). В своих работах Буль преследует, как правило, одну цель: найти элементарные операции человеческого мышления и исследовать его законы, выйдя за рамки дедуктивной и индуктивной логики. Выражаясь современным языком, его исследования принадлежат к области кибернетики. Буль затронул и другую проблему: найти ту внутреннюю связь между логикой и математикой, которая впоследствии явилась предметов исследования Пеано, Кутюра, Гильберта, Рассела и др.

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

Сегодня математическая логика нашла применение во многих областях человеческой деятельности, перечислим основные:

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

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

Математическая логика является средством для изучения деятельности мозга -- для решения этой самой важной проблемы биологии и науки вообще.

Список использованных источников

буль логика математический алгебра

1. Игошин В.И. Математическая логика и теория алгоритмов: учеб. Пособие для студ. Высш. учеб. Заведений / В.И. Игошин. - 2-е изд., стер. - М.: Издательский центр "Академия", 2008. - 448 с.

2. Колмогоров А.Н., Юшкевич А.П. (ред.) Математика XIX века. Том 1 Математическая логика. Алгебра. Теория чисел. Теория вероятностей. М.: Наука. 1978.

3. Википедия: свободная электронная энциклопедия: на русском языке [Электронный ресурс]. - URL: http://ru.wikipedia.org (дата обращения: 18.12.2013).

Размещено на Allbest.ru

...

Подобные документы

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

    контрольная работа , добавлен 26.04.2011

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

    контрольная работа , добавлен 20.01.2011

    Булевы алгебры – решетки особого типа, применяемые при исследовании логики (как логики человеческого мышления, так и цифровой компьютерной логики), а также переключательных схем. Минимальные формы булевых многочленов. Теоремы абстрактной булевой алгебры.

    курсовая работа , добавлен 12.05.2009

    Системы цифровой обработки информации. Понятие алгебры Буля. Обозначения логических операций: дизъюнкция, конъюнкция, инверсия, импликация, эквивалентность. Законы и тождества алгебры Буля. Логические основы ЭВМ. Преобразование структурных формул.

    презентация , добавлен 11.10.2014

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

    лабораторная работа , добавлен 26.11.2011

    Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.

    курс лекций , добавлен 08.08.2011

    Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.

    контрольная работа , добавлен 29.11.2010

    Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.

    реферат , добавлен 06.12.2010

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

    курсовая работа , добавлен 16.01.2012

    Свойства операций над множествами. Формулы алгебры высказываний. Функции алгебры логики. Существенные и фиктивные переменные. Проверка правильности рассуждений. Алгебра высказываний и релейно-контактные схемы. Способы задания графа. Матрицы для графов.

Джордж Буль – Один из основателей математической логики. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849.

Расширив общий метод Лейбница, сформулиро­ванный на 188 лет раньше, в котором все истин­ные причины были сведены к виду вычислений, Д. Буль в 1854 году зало­жил основу того, что мы сегодня знаем как мате­матическую логику, опубликовав работу “Исследование законов мышления”.

В этой работе, изданной, когда ему было 39 лет, Буль свел логику к чрезвы­чайно простому типу алгебры, алгебры логики высказываний, которая пред­ставляла собой систему символов и правил, применяемую к различным объ­ектам (числам, буквам, предложениям).

Его теория логики, основанная на трех основных действиях - AND (и), OR (или), NOT (не), - должна была стать в XX веке основой для разработки переключающих телефонных линий и проекта ЭВМ. Так же, как и идеями Лейбница, булевой алгеброй пренебрегали в течение многих лет после того, как она была создана.

Важность работы, признанной логиком де Морганом, современником Буля, заключалась в следующем: “Символические процессы алгебры, созданные как инструменты числового вычисления, компетентно выражают каждый закон мысли и обладают грамматикой и словарем всего того, что содержит систему логики. Мы это и не предполагали, пока это не было доказано в “Законах мышления””.

Родился английский математик и логик 2 ноября 1815. Вырос в семье небогатого ремесленника Джона Буля, увлечённого наукой. Известно, что его отец оставил школу после трех лет обучения, и в то же время удивительно, что Буль получил раннее математическое образование от своего отца, который был самоучкой в этой области. Папа, интересуясь математикой и логикой, дал первые уроки своему сыну, но тот не сумел обнаружить рано свои выдающиеся таланты в точных науках, и его первым увлечением стали классические авторы.

В возрасте 16 лет для Буля стало необходимостью начать трудовую жизнь, чтобы помочь своим родителям. Получив работу “младшего учителя”, или ассистента учителя в начальной школе, Буль должен был провести 4 года, преподавая в двух различных школах.

Всегда думая о перспективе занимаемого места в жизни, Буль начал рас­сматривать несколько путей, открытых для него. Его первоначальное препо­давание было всегда на уровне, однако он не считал это профессией, хотя она и была почетна. Буль стал священнослужителем.

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

Отзывчивый, как всегда, к советам родителей, Буль решил открыть собст­венную школу. Ему было 20 лет. Преподавая, Буль считал себя также сту­дентом и приступил к изучению полного курса высшей математики. Он проштудировал “Математические начала” Ньютона, “Аналитическую меха­нику” Лагранжа, труды Лапласа и других авторов.

Свои математические исследования Буль начал с разработки операторных методов анализа и теории дифференциальных уравнений, а затем подобно Де Моргану, с которым к этому времени подружился, занялся математиче­ской логикой.

В своей первой основной работе “Математический анализ логики, являю­щийся опытом исчисления дедуктивного рассуждения” 1847 года Буль от­четливо показал так называемое количественное истолкование объектов логики и необходимость нового подхода к решению проблем логики. Этот подход требовал изменения и расширения символического языка ал­гебры: выбора символики, операций и законов, определяющих эти операции и отражающих специфику объектов исследования, - т. е. по существу соз­дания нового исчисления. Буль писал: “Те, кто знаком с настоящим состоя­нием символической алгебры, отдают себе отчет в том, что обоснованность процессов анализа зависит не от интерпретации используемых символов, а только от законов их комбинирования. Каждая интерпретация, сохраняю­щая предложенные отношения, равно допустима, и подобный процесс ана­лиза может, таким образом, при одной интерпретации представлять реше­ние вопроса, связанного со свойствами чисел, при другой - решение гео­метрической задачи и при третьей - решение проблемы динамики или статики. Необходимо подчеркнуть фундаментальность этого принципа”. С публикацией “Математического анализа…” взгляды и блестящая интуиция этого тихого, простого человека стали ясны его друзьям - математикам, ко­торые советовали ему поступить в Кембридж, для получения общепринятого математического образования.

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

Это назначение позволило ему посвятить больше времени “Законам мышле­ния…” - второй его основной работе, которую он непрерывно оттачивал и усовершенствовал в течение еще 5 лет, до публикации в 1854 году. Как писал Буль в первом параграфе книги: “Цель данного трактата:

исследовать фундаментальные законы тех действий разума, с помощью которых выполняются рассуждения;
выразить их в символическом языке исчислений и на этой основе создать науку логики и построить метод;
сделать этот метод непосредственно основой общего метода для выраже­ния теории вероятностей;
наконец, получить различные элементы истины;
оценить в рамках решения этих вопросов некоторое вероятное сооб­щение”.
И далее: “Теперь фактически исследования следующих страниц показывают логику, в практическом аспекте, как систему процессов, проведенных при помощи символов, имеющих определенную интерпретацию и подчиненных законам, основанным на этой единственной интерпретации. Но в то же са­мое время они показывают эти законы как идентичные по форме с закона­ми общих символов алгебры, с одним единственным дополнением, viz”.

Другими словами, в общей алгебре не выполняется, например: что каждый х тождественно равен своему квадрату - но это истина в булевой алгебре. Согласно Булю, х2 = х для любого х в его системе. В числовой системе это уравнение имеет единственное решение “О” и “1?. В этом заключается важ­ность двоичной системы для современных компьютеров, логические части которых эффективно реализуют двоичные операции.

Кроме логики, булева алгебра имеет два других важных применения. Булева алгебра применяется в натуральной алгебре. Принимая также во внимание идею “количества элементов” в множестве, булева алгебра стала основой для теории вероятностей.

Несмотря на большое значение булевой алгебры во многих других областях математики, необычайная работа Буля в течение многих лет считалась странностью. Как и Бэббидж, Буль был человеком, опередившим свое вре­мя. Это произошло раньше, чем Альфред Уайтхед и Бертран Рассел опубли­ковали свой трехтомник “Принципы математики” (1910-1913), в котором рассматривались вопросы формальной логики.

Заслуживает внимания и то, что на достижения Буля частично опирались математические открытия, к тому времени появившиеся в Англии, в том числе и идеи Бэббиджа. Математики обратили внимание на идею Бэббиджа о математических операциях и величинах, использующихся в них. Идея ста­ла возможной благодаря группе британских специалистов в области алгеб­ры, к которым принадлежал и Буль.

Буль продемонстрировал,” что логика может сводиться к очень простым ал­гебраическим системам, после чего для Бэббиджа и его последователей ста­ло возможным создание механических устройств, которые могли решать необходимые логические задачи.

Через год после опубликования “Законов мышления…” Буль женился на Мэри Эверест, племяннице профессора греческого языка Королевского колледжа. Счастливый брак длился в течение девяти лет, вплоть до безвре­менной кончины Джорджа Буля. 8 декабря 1864 года, в возрасте 49 лет, по­читаемый и известный, он умер от воспаления легких.

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

Как уже упоминалось, жена Буля была племянницей Джорджа Эвереста, в 1841 году завершившего в Индии грандиозные по масштабам работы.

В честь его заслуг высочайшая вершина мира Джомолунгма в Гималаях одно время даже именовалась Эверестом. Сама Мэри, в отличие от жен многих других математиков, понимала научные идеи своего мужа и своим внимани­ем и участием подвигала его на продолжение исследований. После его смер­ти она написала несколько сочинений и в последнем из них - “Философия и развлечения алгебры”, - опубликованном в 1909 году, пропагандировала математические идеи Джорджа.

У четы Булей было пять дочерей. Старшая, Мэри, вышла замуж за Ч. Хин-тона - математика, изобретателя и писателя-фантаста - автора широко из­вестной повести “Случай в Флатландии”, где описаны некие существа, жи­вущие в плоском двухмерном мире. Из многочисленного потомства Хинто-нов трое внуков стали учеными: Говард - энтомологом, а Вильям и Джоан - физиками. Последняя была одной из немногих женщин-физиков, принимавших участие в работе над атомным проектом в США.

Вторая дочь Булей, Маргарет, вошла в историю как мать крупнейшего анг­лийского механика и математика, иностранного члена Академии наук СССР Джеффри Тэйлора. Третья, Алисия, специализировалась в исследовании многомерных пространств и получила почетную ученую степень в Гронин-генском университете. Четвертая, Люси, стала первой в Англии женщиной-профессором, возглавившей кафедру химии.

Но наиболее известной из всех дочерей Булей стала младшая, Этель Лили­ан, вышедшая замуж за ученого - эмигранта из Польши Войнича. Войдя в революционную эмигрантскую среду, она написала прославивший ее на весь мир роман “Овод”. За ним последовало еще несколько романов и му­зыкальных произведений, а также перевод на английский язык стихотворе­ний Тараса Шевченко. Войнич скончалась в Нью-Йорке в возрасте 95 лет, немного не дожив до столетия со дня смерти своего знаменитого отца мате­матика Джорджа Буля.

Если вы нашли ошибку, пожалуйста, выделите фрагмент текста и нажмите Ctrl+Enter .

Просмотры: 118

Похожие статьи

© 2024 ap37.ru. Сад и огород. Декоративные кустарники. Болезни и вредители.