An dieser Stelle einfach mal ein kleiner Joke! Mehr nicht!
Ein theoretischer Informatikprofessor und ein Software-Engineeringprofessor befinden sich auf einem Kongress in einer Bananenrepublik. Plötzlich erlangt eine revolutionäre Bewegung die Macht, und das neue Regime entscheidet, beide Wissenschaftler zu verhaften und zum Tode zu verurteilen. Überraschenderweise gewährt man ihnen jedoch einen letzten Wunsch.
Der Theoretiker sagt: „Sie wissen, mein ganzes Leben lang habe ich der Welt der Theorie gewidmet – Prädikatenlogik, Modallogik, Temporallogik und natürlich Turing-Maschinen. Leider wurde meine Arbeit selten geschätzt. Bei Konferenzen schliefen meine Zuhörer ein, und meine Vorlesungen waren oft verwaist. Daher möchte ich mir einen letzten Wunsch erfüllen und einmal in meinem Leben einen Vortrag über meine Forschung vor einem vollbesetzten Hörsaal halten.“
Der Richter gewährt ihm den Wunsch und richtet dann seine Aufmerksamkeit auf den Praktiker. Dieser erwidert mit einem Lächeln:
„Ich hätte gerne meine Hinrichtung vor diesem Vortrag!“
