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