Буль Джордж
Буль Джордж
математик и логик, в его честь названо понятие ''булева алгебра''
- Настоящее имя:
- Boole George
- Годы жизни:
- 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.
Выходные данные:
- Просмотров: 144
- Комментариев: 0
- Опубликовано: 28.02.2011
- Версий: 9 , текущая: 9
- Статус: пользовательская
- Рейтинг: 0.0
Автор:
Золин Евгений Евгеньевич
- старший научный сотрудник; кандидат физико-математических наук
- Редактор
Ссылки отсюда
Ссылки сюда
Категории:
Алгебра; Дискретная математика; Математическая логика;
Детализирующие понятия:Булева функция; Многозначная логика; Теория интеллектуальных систем; Техническая кибернетика.
Произведения, посвященные: Буль Джордж
№ | Название | Год | Текст | Тип | Действия |
---|---|---|---|---|---|
1. |
Формирование математической логики |
1967 | — | ||
В книге описываются узловые моменты становления наиболее заметных концепций в истории логики с древнейших времен до начала XX столетия. Особое внимание уделяется зарождению и развитию алгебраических методов в логике.
|