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...
eingesendet von: megasinnlos