11.09.2009, 20:46
----------------------------------------------------------------------
Behauptung:
Jedes Programm laesst sich um mindestens eine Anweisung kuerzen.
Jedes Programm hat mindestens einen Fehler.
Durch Induktion koennen wir schliessen:
Jedes Programm ist reduzierbar auf eine Anweisung, die nicht
funktioniert...
------------------------------
Eines Tages kommt der alte Schwerenöter in die Hölle. Er wird von Luzifer
persönlich empfangen:
"Schönen Tag der Herr. Bier, Wein, Sekt, Limo gefällig?"
"Waaas? Das gibt's hier?"
"Ja, all das gibt es hier. Und tolle Weiber, und Tennisplätze, Bars..."
"Waaas? So tolle Dinge? Und was noch?"
"Discos, Sandstrände, Freizeitecken, Kinos, Puffs, Solarien ...."
"Toll! Und was ist hinter der Betonwand da hinten?"
"Nichts besonderes. Das geht Sie nichts an."
"Ich will es aber wissen."
"Also gut, hinter der Betonwand brennt ein gewaltiges Feuer."
"Ahaaaa! Also doch!"
"Ach, das ist nur für die Katholiken, die wollen es so."
Behauptung:
Jedes Programm laesst sich um mindestens eine Anweisung kuerzen.
Jedes Programm hat mindestens einen Fehler.
Durch Induktion koennen wir schliessen:
Jedes Programm ist reduzierbar auf eine Anweisung, die nicht
funktioniert...
------------------------------
Eines Tages kommt der alte Schwerenöter in die Hölle. Er wird von Luzifer
persönlich empfangen:
"Schönen Tag der Herr. Bier, Wein, Sekt, Limo gefällig?"
"Waaas? Das gibt's hier?"
"Ja, all das gibt es hier. Und tolle Weiber, und Tennisplätze, Bars..."
"Waaas? So tolle Dinge? Und was noch?"
"Discos, Sandstrände, Freizeitecken, Kinos, Puffs, Solarien ...."
"Toll! Und was ist hinter der Betonwand da hinten?"
"Nichts besonderes. Das geht Sie nichts an."
"Ich will es aber wissen."
"Also gut, hinter der Betonwand brennt ein gewaltiges Feuer."
"Ahaaaa! Also doch!"
"Ach, das ist nur für die Katholiken, die wollen es so."