Возникновение математической логики
1 854 год
Английский математик Джордж Буль ещё юношей публиковал работы по дифференциальным уравнениям и линейным преобразованиям в «Кембриджском математическом журнале».
В 1 854 году вышла его книга «Исследование законов мышления, на которых основываются математические теории логики и вероятностей». Буль показал, как логические формулы и силлогизмы могут быть выражены с помощью алгебраических символов. Эта символическая логика, ныне известная как булева алгебра, получила развитие в XX в., когда было показано, как истинностные («да — нет») высказывания могут быть представлены положением переключателя «включено — выключено» в электронных устройствах. Это стало основой компьютерной логики.
Буль женился на своей студентке Мэри Эверест, племяннице географа. Их дочь Элис Буль-Стотт писала работы по геометрии четырёхмерного пространства
Создавайте свои инструменты.
Когда проект оказывается провальным, мы объясняем это тем, что что то пошло не так на стадии переговоров, но это не отменяет того факта, что мы пытались служить идее, в которую верили.
В готическом письме меня всегда удивляла схожесть буквенных форм: буквы очень мало отличались друг от друга, но благодаря им можно было передать все значения, интонации и вариации в языке. Удивительно, что в этой трясине вертикальных линий люди могли видеть осмысленный текст.
Рембрандт
Знаменитый миф о Данае, матери Персея, удостоился кисти двух великих мастеров ...