Просмотр кода страницы Буль, Джордж

{{Однофамильцы|Буль}}
{{Учёный
| Имя = Джордж Буль
| Оригинал имени = {{lang-en|George Boole}}
| Изображение = Portrait of George Boole.png
| Ширина = 
| Дата рождения = 2.11.1815
| Место рождения = {{МестоРождения|Линкольн|в Линкольне (Англия)|Линкольн (Англия)}}, [[Линкольншир]], [[Англия]]
| Дата смерти = 8.12.1864
| Место смерти = [[Баллинтемпл]], графство [[Корк (графство)|Корк]], {{МестоСмерти|Ирландия|в Ирландии}}
| Гражданство = {{GB}}
| Научная сфера = [[математика]], [[логика]], [[философия математики]]
| Место работы = [[Ирландский национальный университет в Корке|Королевский колледж в Корке]]
| Учёная степень = 
| Учёное звание = 
| Альма-матер = 
| Научный руководитель = 
| Знаменитые ученики = 
| Известен как = 
| Награды и премии = [[Королевская медаль]]
| Роспись = 
| Ширина росписи = 
| Сайт = 
}}

'''Джордж Буль''' ({{lang-en|George Boole}}; [[2 ноября]] [[1815 год|1815]], [[Линкольн (Англия)|Линкольн]] — [[8 декабря]] [[1864 год|1864]], Баллинтемпл, графство [[Корк (графство)|Корк]], Ирландия) — [[Англия|английский]] [[математик]] и [[логик]]. [[Профессор]] [[Математика|математики]] Королевского колледжа Корка (ныне [[Ирландский национальный университет в Корке|Университетский колледж Корк]]) с 1849 года. Один из основателей [[Математическая логика|математической логики]].

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

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

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

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

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

Пятая дочь — [[Войнич, Этель Лилиан|Этель Лилиан Войнич]], автор романа «[[Овод (роман)|Овод]]» и жена [[Войнич, Михаил-Вильфред|Михаила (Вильфреда) Войнича]], первооткрывателя [[Рукопись Войнича|манускрипта Войнича]].

== Научная деятельность ==
Публике Буль был известен в основном как автор ряда трудных для понимания статей на математические темы и трёх или четырёх [[монография|монографий]], ставших классическими.
[[Файл:George Boole, Cork (6921390393).jpg|left|165px]]

Публикация первой статьи («Теория математических преобразований», 1839) привела к дружбе между Булем и {{нп4|Грегори, Дункан|Дунканом Грегори||Duncan Gregory}} (редактором «Кембриджского математического журнала», где статья была опубликована), продолжавшейся до самой смерти последнего в 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|журнале Крелле]] (''Journal für die reine und angewandte Mathematik'').

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

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

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

== Математический анализ ==
На математические темы Булем в течение жизни были созданы два систематических трактата: «Трактат о дифференциальных уравнениях» (1859; второе издание не завершено, материалы к нему опубликованы посмертно в 1865) и задуманный как его продолжение «Трактат о конечных разностях» (1860). Эти труды внесли важный вклад в соответствующие разделы математики и в то же время продемонстрировали глубокое понимание Булем философии своего предмета<ref name="Викитека ЭСБЕ">{{ВТ-ЭСБЕ|Буль, Джордж|[[Селиванов, Дмитрий Фёдорович|Селиванов Д. Ф.]]}}</ref>.

== Другие труды ==
Вместе с математикой Буль серьёзно занимался изучением христианской теологии, изучал Библию, сравнивал христианскую доктрину о Боге Отце, Боге Сыне и Боге Святом Духе (Святую Троицу) с тремя измерениями пространства, даже собирался стать священником{{нет АИ|6|12|2018}}.

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

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

== Основные произведения ==
* «Математический анализ логики» (The Mathematical Analysis of Logic, 1847);
* «Логическое исчисление» (1848);
* «Исследование законов мышления» (An investigation of the laws of thought, 1854).

== Память ==
* В честь Джорджа Буля в 1964 году назван [[Буль (лунный кратер)|кратер на Луне]].
* В 2015 году [[Ирландский национальный университет в Корке]] отпраздновал 200 лет со дня рождения Джорджа Буля<ref>{{Cite web |url=http://booleconferences.ucc.ie/ |title=Boole Conferences 2015 |access-date=2022-06-12 |archive-date=2018-03-30 |archive-url=https://web.archive.org/web/20180330084240/http://booleconferences.ucc.ie/ |url-status=live }}</ref><ref>{{Cite web |url=http://georgeboole.com/ |title=George Boole 200 |access-date=2020-01-17 |archive-url=https://web.archive.org/web/20140921124050/http://georgeboole.com/ |archive-date=2014-09-21 |url-status=dead }}</ref>.
* [[Логический тип|Логический тип данных]] в информатике также называется булевым типом ({{lang-en|Boolean data type}}) в честь Джорджа Буля.

== См. также ==
* [[Шеннон, Клод Элвуд|Клод Шеннон]]
* [[Булева алгебра]]
* [[Булева функция]]
* [[Исчисление высказываний]]

== Примечания ==
{{примечания}}

== Литература ==
* {{НФЭ||Буль|Б. В. Бирюков| ссылка=https://iphlib.ru/library/collection/newphilenc/document/HASH7c522c222a86a79b24187c }}

== Ссылки ==
* [http://www.gutenberg.org/author/George_Boole Произведения Буля] на сайте [[Проект Гутенберг|Проекта «Гутенберг»]] — содержат основную работу Буля «An Investigation of the Laws of Thought».
* ''Колмогоров А. Н., Юшкевич А. П. (ред.)'' Математика XIX века. М.: Наука.
** Том 1 [http://djvu.504.com1.ru:8019/WWW/a5d285a3a1b9867d419ac34eeab8834c.djvu Математическая логика. Алгебра. Теория чисел. Теория вероятностей. 1978.]{{Недоступная ссылка|date=2018-06|bot=InternetArchiveBot }}
* [https://web.archive.org/web/20140818230710/http://vpn.int.ru/index.php?name=Biography&op=page&pid=790 Джордж Буль — Биография. Философские взгляды.]
* [http://chernykh.net/content/view/440/652/ Очерки биографии: Джордж Буль]

{{библиоинформация}}

[[Категория:Члены Лондонского королевского общества]]
[[Категория:Математики Великобритании]]
[[Категория:Математики XIX века]]
[[Категория:Логики Великобритании]]
[[Категория:Математики по алфавиту]]
[[Категория:Персоналии:Математическая логика]]
[[Категория:Логики XIX века]]
[[Категория:Умершие от пневмонии]]
[[Категория:Награждённые Королевской медалью]]
[[Категория:Преподаватели Ирландского национального университета в Корке]]