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

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

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

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


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

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

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

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

Мигель Сервет
Мигель Сервет
«Восстановление христианства», 1 553 год Из этого весьма ясно следует, что мягкая ...
Лорд Байрон в национальном албанском костюме
Лорд Байрон
«Смерть Байрона». Томас Мур, 1 835 год Князь Маврокордато 19-го числа сделал ...