Энциклопедический словарь

Эрнст (1841-1902) - немецкий математик и логик; основополагающиеисследования по алгебре логики (алгебре классов) и логике отношений;осуществил первую попытку построения общей теории алгоритмов и исчислений.