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