"computable number" Deutsche bedeutung