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