Megasinnlos.de Präsentiert

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...