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