Буль, Джордж
Джордж Буль | |
Дата рождения: | 2 ноября 1815 г. |
Дата смерти: | 8 декабря 1864 г. |
Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл близ Корка) — английский математик и логик. Профессор математики в Куинс колледже в Корке (Ирландия) с 1849.
Создатель булевой алгебры — алгебраических структур, над элементами которых определены логические операции. Абстрактный математический аппарат булевой алгебры получил развитие и практическое применение в программировании и технике.
Жизнь и труды
Не имея формального математического образования, в 1849 Джордж Буль стал профессором математики в Куинс колледже в Корке (Ирландия), где преподавал до конца жизни. Буля почти в равной мере интересовали логика, математический анализ, теория вероятностей, философские работы Аристотеля и Цицерона. В работах "Математический анализ логики" (1847), "Логическое исчисление" (1848), "Исследование законов мышления" (1854) Буль заложил основы математической логики.
Имя Буля носят булевы алгебры — алгебраические структуры, над элементами которых определены логические операции. Абстрактный математический аппарат булевой алгебры, предложенный Булем задолго до появления современных вычислительных систем, получил важное развитие и практическое применение в программировании и технике в более позднее время. Спустя почти 70 лет после кончины Буля, американский учёный и инженер Клод Шеннон в своей университетской дипломной работе 1937 года на степень мастера (выполненной в MIT) применил булеву алгебру для описания электротехнических цепей и одновременно показал обратное — как электрические цепи могут быть использованы для решения логических задач булевой алгебры. Булева логика, бывшая изначально чистой наукой, лежит в основе принципа вычислительных операций большинства используемых сегодня компьютеров.
Основные произведения:
- «Математический анализ логики» (1847);
- «Логическое исчисление» (1848);
- «Исследование законов мышления» (1854)
См. также