Выдержка из книги
Мордвинцев А.Г.
Математика Механика Информатика Труды конференции, посвященной 10-летию РФФИ
Хотя эта идея очень старая, восходит к ключевой теореме Гель-фанда - Наймарка о взаимно однозначном соответствии между категорией компактных топологических пространств и категорией коммутативных С - алгебр, и разрабатывалась различными авторами как в коммутативном, так и в некоммутативном случае, в более или менее явном виде она была провозглашена в виде программы действий А.
