Зарегистрироваться

Буль Джордж

Категории Математическая логика · Математическая кибернетика · Дискретная математика | Под редакцией сообщества: Математика

Буль Джордж

математик и логик, в его честь названо понятие ''булева алгебра''

математик и логик, в его честь названо понятие ''булева алгебра''

Настоящее имя:
Boole George
Год рождения:
1815
Годы жизни:
1815 — 1864
Место рождения:
г. Линкольн, Англия
Место смерти:
г. Баллинтемпл, графство Корк, Ирландия
Разделы каталога:
Математика

Буль Джордж (Boole, George)(1815-1864), английский математик, создатель символической логики.

Родился 2 ноября 1815 в Линкольне. Специального математического образования не получил. В возрасте 16 лет стал помощником учителя частной школы в Донкастере, в 1835 открыл собственную школу в Линкольне. В свободное время читал математические журналы, работы И.Ньютона, П.Лапласа и Ж.-Л.Лагранжа, начал вести самостоятельные алгебраические исследования.

В 1839 написал первую научную работу Исследования по теории аналитических преобразований (Researches on the Theory of Analitical Transformations), которая была опубликована в только что созданном "Кембриджском математическом журнале" ("Cambridge Mathematical Journal"). В 1844 появилась его первая работа, где высказывалась идея объединения алгебры и логики, а в 1847 вышла в свет статья Математический анализ логики (The Mathematical Analysis of Logic), которая положила начало созданию "алгебры высказываний", получившей впоследствии название булевой алгебры. Благодаря этой публикации Буль в 1849 был назначен профессором математики в Куинз-колледж (Корк, Ирландия), где преподавал до конца жизни. В 1857 он был избран членом Лондонского королевского общества.

Основные идеи Буля суммированы в его работе Исследование законов мышления, на которых основаны математические теории логики и вероятностей (An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities, 1854). Здесь он впервые определил в явном виде исчисление классов (или множеств), ввел обозначение для их пересечения, объединения и т.д., показал, что исчисление классов можно интерпретировать как исчисление высказываний. Булевы алгебры - особые алгебраические системы, для которых определены две операции, - нашли широкое применение в различных разделах математики: в теории вероятностей, топологии, функциональном анализе, а также в создании вычислительных машин. Умер Буль в Биллинтемпле близ Корка 8 декабря 1864.

Эта статья еще не написана, но вы можете сделать это.

Произведения, посвященные: Буль Джордж

Название Год Текст Тип Действия
1. Формирование математической логики
1967
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.