Computable Bodies