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