Буль. Джордж Буль
Сегодняшний логотип Google посвящен 200-летию со дня рождения великого английского математика Джорджа Буля (George Boole). Кстати, Google - это ведь практически сокращение от George Boole :-)
Знаменитые булевы алгебры названы так в точности по фамилии Джорджа Буля.
Булевой алгеброй называется непустое множество A с двумя бинарными операциями (и, или) унарной операцией (не) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина), на котором выполняются аксиомы ассоциативности, коммутативности, поглощения, дистрибутивности и дополнительности. Простейшая нетривиальная булева алгебра содержит лишь два элемента, которые принято называть ложью (0) и истиной (1), является точной моделью классического исчисления высказываний, или собственно логикой.
А если нажать на кнопку воспроизведения, логотип оживет...
Когда я учился на отделении "чистой математики" механико-математического факультета Новосибирского государственного университета имени Ленинского комсомола (ММФ НГУ), математическая логика и теория алгоритмов была одним из моих любимых предметов, потому, в том числе, что лекции нам читал член-корреспондент АН СССР Юрий Леонидович Ершов.
Знаменитые булевы алгебры названы так в точности по фамилии Джорджа Буля.
Булевой алгеброй называется непустое множество A с двумя бинарными операциями (и, или) унарной операцией (не) и двумя выделенными элементами: 0 (или Ложь) и 1 (или Истина), на котором выполняются аксиомы ассоциативности, коммутативности, поглощения, дистрибутивности и дополнительности. Простейшая нетривиальная булева алгебра содержит лишь два элемента, которые принято называть ложью (0) и истиной (1), является точной моделью классического исчисления высказываний, или собственно логикой.
А если нажать на кнопку воспроизведения, логотип оживет...
Когда я учился на отделении "чистой математики" механико-математического факультета Новосибирского государственного университета имени Ленинского комсомола (ММФ НГУ), математическая логика и теория алгоритмов была одним из моих любимых предметов, потому, в том числе, что лекции нам читал член-корреспондент АН СССР Юрий Леонидович Ершов.