"Ackermann function" Deutsche bedeutung