-
Арифмометр (Паскалина)
Паскалина - арифметическая машина, изобретённая французским учёным Блезом Паскалем (1623—1662) в 1642 году. Француз Блез Паскаль начал создавать суммирующую машину «Паскалину» в 1642 году в возрасте 19 лет, наблюдая за работой своего отца, который был сборщиком налогов и часто выполнял долгие и утомительные расчёты. -
Булева алгебра
Можно доказать, что любая конечная булева алгебра изоморфна булевой алгебре всех подмножеств какого-то множества. Отсюда следует, что количество элементов в любой конечной булевой алгебре будет степенью двойки. Теорема Стоуна утверждает, что любая булева алгебра изоморфна булевой алгебре всех открыто-замкнутых множеств какого-то компактного вполне несвязного хаусдорфова топологического пространства.