Wer im Laufe seines Studiums jemals Theoretische Informatik oder Logik hören musste, kennt sie, die Ackermannfunktion, jene Funktion, mit deren Hilfe es Professor Ackermann gelang zu beweisen, dass nicht alle Funktionen primitiv-rekursiv sind obwohl sie berechenbar sind. Der Beweis gelang ihm, in dem er zeigte, dass seine Funktion im wesentlichen schneller wächst, als jede primitiv-rekursive Funktion. Damit trug Ackermann ganz wesentlich zur Entwicklung der theoretischen Informatik bei.
Wenn man Logik hört, findet man die Ackermann-Funktion in aller Regel auf den Übungszetteln und darf den Beweis dann irgendwie selber finden. Was ausgerechnet hier in Münster viel zu oft verschwiegen wird: Ackermann war Professor an der Uni Münster und hatte im achten Stock des Mathegebäudes sein Büro. Und wie es sich für einen ordentlichen Professor gehört, stand in seinem Büro natürlich auch ein Sofa. Als Wilhelm Ackermann (geboren 1896!) 1962 starb, wusste niemand, wohin mit seinem Sofa. Darum blieb es in seinem Büro stehen und da steht es auch noch heute. Inzwischen gehört das Büro einem Doktor der Logik und dieser nutzt das Sofa kaum.[image:180:c]Ich durfte einmal kurz probesitzen und sofort durchfuhr mich ein Blitz und die Antwort auf die grosse Frage alle Fragen nach dem Universum und dem ganzen anderen Rest wurde mir schlagartig bewusst. Mein Leben ist jetzt soviel leichter!