Поиск
На сайте: 763803 статей, 327745 фото.

Буль, Джордж

Джордж Буль
Дата рождения: 2 ноября 1815 г.
Дата смерти: 8 декабря 1864 г.

Джордж Буль (англ. George Boole; 2 ноября 1815, Линкольн8 декабря 1864, Баллинтемпл близ Корка) — английский математик и логик. Профессор математики в Куинс колледже в Корке (Ирландия) с 1849.

Создатель булевой алгебры — алгебраических структур, над элементами которых определены логические операции. Абстрактный математический аппарат булевой алгебры получил развитие и практическое применение в программировании и технике.

Жизнь и труды

Не имея формального математического образования, в 1849 Джордж Буль стал профессором математики в Куинс колледже в Корке (Ирландия), где преподавал до конца жизни. Буля почти в равной мере интересовали логика, математический анализ, теория вероятностей, философские работы Аристотеля и Цицерона. В работах "Математический анализ логики" (1847), "Логическое исчисление" (1848), "Исследование законов мышления" (1854) Буль заложил основы математической логики.

Имя Буля носят булевы алгебры — алгебраические структуры, над элементами которых определены логические операции. Абстрактный математический аппарат булевой алгебры, предложенный Булем задолго до появления современных вычислительных систем, получил важное развитие и практическое применение в программировании и технике в более позднее время. Спустя почти 70 лет после кончины Буля, американский учёный и инженер Клод Шеннон в своей университетской дипломной работе 1937 года на степень мастера (выполненной в MIT) применил булеву алгебру для описания электротехнических цепей и одновременно показал обратное — как электрические цепи могут быть использованы для решения логических задач булевой алгебры. Булева логика, бывшая изначально чистой наукой, лежит в основе принципа вычислительных операций большинства используемых сегодня компьютеров.

Основные произведения:

  • «Математический анализ логики» (1847);
  • «Логическое исчисление» (1848);
  • «Исследование законов мышления» (1854)

См. также