Джордж Буль родился 2 ноября 1815 года. Известен как один из основателей математической логики, английский логик и математик.
Биография
Джордж родился в Линкольне (Англия).
Отец Джорджа – Джон Буль – с самого детства пытался привить любовь сына к математике и логике, которыми увлекался сам. Понимание высшей математики пришло к Джорджу только к семнадцати годам.
Джордж начал работать с шестнадцати лет помощником учителя в частной школе в городе Донкастере и преподавал в течение всей своей жизни на разных должностях.
Научная деятельность
Буль более известен как автор ряда сложных для понимания многих читателей статей на математические темы и нескольких монографий, которые стали классическими.
В 1839 году была опубликована первая статья Буля «Теория математических преобразований», что привело к зарождению его дружбы с Дунканом Ф. Грегори, который работал в то время редактором «Кембриджского математического журнала», где была опубликована статья. Их дружба продолжалась до самой смерти Грегори в 1844 году. В данном журнале и «Кембриджском и дублинском математическом журнале» Буль опубликовал двадцать две статьи.
- Шестнадцать статей Буля опубликовал «Философский журнал»,
- шесть мемуаров – «Философские труды»,
- ряд других – «Труды Королевского общества Эдинбурга и Королевской Ирландской академии», «Вестник Санкт-Петербургской академии» и журнал Крелля.
В 1848 году Буль публикует в «Журнале механика» статью о математических основах логики.
Всего публикаций у Джорджа Буля – несколько монографий и около пятидесяти статей в разных изданиях.
Математическая логика
После Джона Валлиса Джордж был скорее всего первым математиком, который обратился к проблеме логики.
В статье «Математический анализ логики» в 1847 году Джордж Буль впервые высказал идеи применения символического метода к логике.
Логику Буль не считал разделом математики, но высказывал уверенность в глубокой аналогии между символическим методом представления силлогизмов и логических форм и символическим методом алгебры. Единица Буля обозначалась универсумом мыслимых объектов, буквенные символы – выборками из него, связанными с обычными существительными и прилагательными (например, если $a$ = «рогатые», а $b$ = «козы», то при последовательном выборе $a$ и $b$ из единицы дает класс рогатых коз). Буль объясняет, что если такая символика подчиняется тем же законам, что и алгебраическая, то из этого следует, что над ними можно выполнять операции сложения, вычитания, умножения и даже деления.
Математический анализ
Буль в течение жизни создал 2 систематические трактата на математическую тему:
- в 1859 году «Трактат о дифференциальных уравнениях»;
- в 1860 году его продолжение «Трактат о конечных разностях».
Его труды внесли важный вклад в определенные разделы математики и одновременно показали глубокое понимание Дж. Булем философии своего предмета.
Другие труды
Основными трудами Буля были математические и логические работы, но все же другие его немногочисленные публикации были связаны с литературой.
Буль на постоянной основе изучал метафизику Аристотеля, этику Спинозы, философские работы Цицерона и другие подобные работы. Четыре публикации Буля отображали его размышления о религиозных, философских и научных вопросах – «Социальный аспект интеллектуальной культуры», «Притязания науки», «Достойное пользование досугом» и «Гений сэра Исаака Ньютона».
Награды
Джордж Буль был награжден Королевской медалью. Умер Джордж Буль в возрасте 49 лет 8 декабря 1864 года в Баллинтемпле графства Корк (Ирландия) от воспаления легких.
