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

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

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

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


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

Мозг — самый демократичный из всех инструментов, которыми пользуются дизайнеры.

Когда вы хорошо освоили правила, вы можете делать всё что угодно, даже плевать на них, но начать что-либо без базовой структуры невозможно.

Обращаться с клиентами, как с мужем, довольно просто. Ты не показываешь им, чем занимаешься, до поздней ночи. И они обессиленно говорят вам: «Да, мне это нравится!»

Фреска, изображающая богато одетых, оживлённо жестикулирующих минойских женщин. (Люди кажутся запечатлёнными в момент движения или в порыве чувств, а не застывшими в искусственных, неловких позах)
Минойская цивилизация Крита
На фоне других ярких цивилизаций Древнего мира минойцы прославились как народ, ...
Генетически модифицированный томат «Флавр Савр» слева
Генетически модифицированные продукты
Когда в середине XIX века Грегор Мендель открыл способ скрещивания растений и ...