  We establish a computable version of Gelfand Duality. Under this computable
duality, computably compact presentations of metrizable spaces uniformly
effectively correspond to computable presentations of unital commutative $C^*$
algebras.
