"set of computable numbers" Deutsche bedeutung