Джордж Буль (George Boole)

Джордж Буль (2 ноября 1815 — 8 декабря 1864) — английский математик, педагог, философ и логик. Он работал в области дифференциальных уравнений и алгебраической логики, и является самым известным как автор законов мышления (1854), который содержит Булевую алгебру. Булева логика приписывают к созданию основ для информационного века.

Буль впервые опубликовал исследование по теории аналитических преобразований, с помощью специального приложения к сокращению общего уравнения второго порядка, напечатанные в Кембриджском математическом журнале в феврале 1840 года (Том 2, с. 64-73), и она привела к дружбе между Булем и Дунканом Фаркарсоном Грегори, редактором журнала. Его работы находятся около в 50 статьях и нескольких отдельных изданиях.

В 1841 году Буль опубликовал важную работу в начале теории инвариантов, он получил медаль Королевского Общества за свои мемуары, на общий метод анализа. Это был вклад в теорию линейных дифференциальных уравнений. Инновации в оперативных методах заключается в том, что операции не коммутируют. В 1847 году Буль опубликовал Математический анализ логики, первую его работу по символической логике.

Буль завершил два систематических трактата по математическим предметам в течение своей жизни. Это Трактат о дифференциальных уравнениях появившийся в 1859 году, и трактат о исчислении конечных разностей, продолжение прежней работы.

В 1921 году экономист Джон Мейнард Кейнс опубликовал книгу по теории вероятностей. Кейнс считал, что Буль сделал фундаментальную ошибку в его определении независимости, которая разрушила большую часть его анализа. В своей книге Последняя проблема, Дэвид Миллер предлагает общий метод, в соответствии с Булевой системой и пытается решить проблемы, признанные ранее Кейнсом и другими.

Работы буля и позже логиков поначалу казалось, не имеют никакого назначения. Клод Шеннон принял участие в курсе философии в университете штата Мичиган , который познакомил его с Булевыми исследованиями. Шеннон признается, что работа Буля могли бы лечь в основу механизмов и процессов в реальном мире, и поэтому он был весьма актуален. В 1937 году Шеннон продолжал писать магистерскую диссертацию в Массачусетском технологическом институте, в котором он показал, как Булева алгебра может оптимизировать проектирование систем электромеханических реле затем использоваться в телефонных коммутаторах с маршрутизацией. Он также доказал, что схема с реле может решить проблему Булевой алгебры. Используя свойства электрических переключателей для логического процесса является базовым понятием, которое лежит в основе всех современных электронных цифровых вычислительных машин. Виктор Шестаков в Московском государственном университете (1907-1987) предложил теорию электрических переключателей, основанных на Булевой логике даже раньше, чем Клод Шеннон в 1935 году на показаниях советских логиков и математиков Софья Яновская, Добрушин Роланд, Лупанов, Медведев и Успенский, представили свои научные диссертации в том же году, 1938, но первая публикация Шестакова итоге состоялся только в 1941 году (на русском языке). Таким образом, Булева алгебра стала основой практической конструкции цифровой схемы.