Буль, Джордж

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

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

Жизнь и труды

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

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

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

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

См. также


Статья основана на материалах Большой советской энциклопедии.
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home