Джордж Булл

Джордж Булл – английский математик и философ логики. Он помог установить символическую логику как независимую науку и разработал алгебру логики (теперь известную как булева алгебра). Краткая биография Джордж Булл – читайте на biografiya-kratko.ru.

Джордж Булл: краткая биография

Английский математик и философ логики. Он помог утвердить символическую логику как самостоятельную науку и разработал алгебру логики (теперь известную как булева алгебра), которая нашла широкое применение в разработке компьютерного программного обеспечения и схем. Сложный веб-поиск с операторами, основанный на булевой алгебре.

Джордж Буль (George Boole) родился в Линкольне, Восточная Англия, 2 ноября 1815 года. Сын торговца, он обучался урокам дома и в возрасте 16 лет был назначен школьным учителем в Донкастере. Прилежный и любознательный человек, он научился математике, изучая великие научные труды, такие как «Принципы» Исаака Ньютона, «Трактат о небесной механике» Пьера-Симона Лапласа и «Аналитическая механика» Жозефа-Луи Лагранжа. Его развитие было быстрым, в результате чего он бегло решал сложные задачи по алгебре.

Начиная с 1839 года со статьи «Исследования по теории аналитических преобразований», он представил ряд оригинальных статей в «Кембриджский математический журнал». Эти работы касались дифференциальных уравнений и алгебраической проблемы линейных преобразований с упором на понятие инвариантов.

В 1844 году в статье, опубликованной в журнале Philosophical Transactions of the Royal Society, он проанализировал проблему сочетания методов алгебры и исчисления. В том же году он был награжден медалью Королевского общества за свою работу.

Джордж Булл и булева алгебра

Вскоре Буль почувствовал, что алгебра, как он ее понимал, в равной степени может быть применена к логике. Начав с сформированных им новаторских представлений о методе логики и основываясь на процессе рассуждения с помощью символов, которые он вывел из своих математических исследований, он убедительно рассуждал в 1847 г. в брошюре, которую опубликовал под названием «Математический анализ логики», что логика должна быть связана с математикой, а не с философией.

• Благодаря своим публикациям Булл был назначен профессором математики в Королевском колледже в Корке, Ирландия, в 1849 году, хотя у него не было университетской степени.

В 1854 г. он представил зрелую, как ему казалось, формулировку своих идей в работе «Исследование законов мышления, на которых основаны математические теории логики и вероятностей»).

Логика булевой алгебры

Булл подчеркнул аналогию между алгебраическими символами и символами, представляющими логические формулы и рассуждения, и показал, как символы количества (кванторы) можно отличить от символов операций (операторов). Этими двумя работами была открыта алгебра логики или то, что сегодня называется булевой алгеброй.

В этой алгебре не используются числа и размеры, а только законы логики, через три простых оператора И (и), что символизирует связь, ИЛИ (или), что символизирует дизъюнктуру, и НЕ (нет), символизирующее отрицание. В булевой алгебре можно выполнять логические и арифметические операции. Результат операции может быть истинным или ложным, обычно представленным цифрами 1 и 0 соответственно. Правила алгебры Буля были проверены столетие спустя, а именно в 1937 году, американским математиком Джорджем Стибизом.

Оригинален и примечателен общесимволический метод логического вывода Буля, развитый им в 1854 г. в упомянутой выше работе. Он также опробовал соответствующий метод с вероятностями, который позволял по заданным вероятностям какой-либо системы событий определить вероятность другого случайного события, логически связанного с исходными событиями системы.

В 1855 году он женился на 23-летней Мэри Эверест, с которой у него было пять дочерей, а в 1857 году он был избран членом Королевского общества. Его последующие работы, «Трактат о дифференциальных уравнениях» (1859 г.) и «Трактат об исчислении конечных разностей» (1860 г.), включают в себя тщательно продуманные величайшие открытия Буля.

Джордж Булл: вклад в современную науку

Хотя это казалось трудным для понимания и расплывчатым, способ рассуждений Буля привел к приложениям, о которых он даже не мечтал, например, в реле телефонных цепей и электронных компьютерах. Его алгебра также важна в других областях, таких как статистика, теория множеств и программирование.

В конце ноября 1864 года Булл имел неосторожность преподавать в мокрой от дождя одежде. Он заболел, у него поднялась высокая температура. Его жена считала, что лекарство должно быть таким же, как и причина его болезни, и стала выливать ведра воды на его кровать. Состояние здоровья великого ученого постоянно ухудшалось и 8 декабря 1864 года он испустил последний вздох в возрасте 49 лет от плеврита (скопления жидкости вокруг легких).

Советуем почитать: Джагдиш Чандра Бос