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