Возникновение математической логики

Английский математик Джордж Буль ещё юношей публиковал работы по дифференциальным уравнениям и линейным преобразованиям в «Кембриджском математическом журнале».

В 1 854 году вышла его книга «Исследование законов мышления, на которых основываются математические теории логики и вероятностей». Буль показал, как логические формулы и силлогизмы могут быть выражены с помощью алгебраических символов. Эта символическая логика, ныне известная как булева алгебра, получила развитие в XX в., когда было показано, как истинностные («да — нет») высказывания могут быть представлены положением переключателя «включено — выключено» в электронных устройствах. Это стало основой компьютерной логики.

Буль женился на своей студентке Мэри Эверест, племяннице географа. Их дочь Элис Буль-Стотт писала работы по геометрии четырёхмерного пространства


Возникновение математической логики

Создавайте свои инструменты.

Когда проект оказывается провальным, мы объясняем это тем, что что то пошло не так на стадии переговоров, но это не отменяет того факта, что мы пытались служить идее, в которую верили.

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

Картина Рембрандта, на которой Даная встречает Зевса, — самое известное изображение этой мифологической истории
Рембрандт
Знаменитый миф о Данае, матери Персея, удостоился кисти двух великих мастеров ...
Маршрут «Пони-экспресса»
«Пони-экспресс»
Открытие золотых месторождений в районе Саттерз-Милл в Калифорнии (1 848 год) ...