Логотип

Они изменили мир

Джордж Буль

На главную  Ада Лавлейс  Пища для ума  Ссылки  Авторы

Джордж Буль

Детство Джорджа

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

Научная деятельность

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

Только здесь он получил возможность не только обеспечить родителей, но и спокойно, без мыслей о хлебе насущном, заниматься наукой. Здесь же он женился на дочери профессора греческого языка Мери Эверест, которая помогала Булю в работе и оставила после его смерти интересные воспоминания о своем муже; она стала матерью четырех дочерей Буля, одна из которых, Этель Лилиан Буль, в замужестве Войнич,с — автор популярного романа «Овод».

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

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

Джорж Буль в XX веке

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

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

2012, команда 4221, sch167@rambler.ru