"computable function" Deutsche bedeutung