Джордж Буль

 

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

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

Лишь к семнадцати годам Буль дошёл до высшей математики, продвигаясь медленно из-за отсутствия действенной помощи. 

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

Четыре их дочери снискали известность как учёные (геометр Алисия, химик Люси), или  члены учёных семей (Мэри, жена математика и писателя Ч. Г. Хинтона, и Маргарет, мать математика Дж. И. Тейлора), а пятая — Этель Лилиан Войнич — прославилась как писатель. 

Буль умер на пятидесятом году жизни от воспаления лёгких.

[править]

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

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

Публикация первой статьи («Теория математических преобразований», 1839) привела к дружбе между Булем  и Д. Ф. Грегори (редактором «Кембриджского математического журнала», где статья была опубликована), продолжавшейся до самой смерти последнего в 1844 г. В этот журнал и наследовавший ему «Кембриджский и дублинский математический журнал» Буль представил двадцать две статьи. 

Шестнадцать его  статей были опубликованы в «Философском журнале» (Philosophical Magazine), шесть мемуаров — в «Философских трудах» (Philosophical Transactions), ряд других — в «Трудах Королевского общества Эдинбурга и Королевской Ирландской академии» (Transactions of the Royal Society of Edinburgh and of the Royal Irish Academy), в «Вестнике С.-Петербургской академии» (Bulletin de l’Académie de St-Pétersbourg, под псевдонимом G. Boldt, Vol. IV. pp. 198-215) и в журнале Крелля (Journal für die reine und angewandte Mathematik). 

Этот список дополняет публикация 1848 года в «Журнале механика» (Mechanic’s Magazine) о математических основах логики. 

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

[править]

Математическая  логика 

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

[править]

Математический  анализ 

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

[править]

Другие труды 

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

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

[править]

Основные произведения

«Математический анализ логики» (1847);

«Логическое исчисление» (1848);

«Исследование законов мышления» (1854).

[править]

См. также

Клод Шеннон

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

Булева функция

Исчисление высказываний

[править]

Ссылки

Произведения  Буля на сайте Проекта «Гутенберг»  — содержат основную работу Буля «An Investigation of the Laws of Thought».

Ю. Л. Полунов. Алгебра  для компьютера — краткое беллетризованное жизнеописание Буля и его достижений.

Колмогоров А. Н., Юшкевич А. П. (ред.) Математика XIX века. М.: Наука.

Том 1 Математическая логика. Алгебра. Теория чисел. Теория вероятностей. 1978.

Джордж Буль — Биография. Философские взгляды.

Очерки биографии: Джордж Буль 

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

В связи с  этим занятием у него появились первые самостоятельные идеи. Результаты своих исследований Буль сообщил в письмах профессорам математики (Д.Грегори и А.де Моргану) знаменитого Кембриджского университета и вскоре получил известность как оригинально мыслящий математик. В 1849 году в г.Корк (Ирландия) открылось новое высшее учебное заведение – Куинз колледж, по рекомендации коллег-математиков Буль получил здесь профессуру, которую сохранил до своей смерти в 1864 году. Только здесь он получил возможность не только обеспечить родителей, но и спокойно, без мыслей о хлебе насущном, заниматься наукой. Здесь же он женился на дочери профессора греческого языка Мери Эверест, которая помогала Булю в работе и оставила после его смерти интересные воспоминания о своем муже; она стала матерью четырех дочерей Буля, одна из которых, Этель Лилиан Буль, в замужестве Войнич, - автор популярного романа "Овод". 
 

  

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

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

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

Газета "ИНФОРМАТИКА" Аристотель, Лейбниц, Буль