Behauptung:<br />Jedes Programm lässt sich um mindestens eine Anweisung kürzen.<br />Jedes Programm hat mindestens einen Fehler.<br />Durch Induktion können wir schliessen:<br />Jedes Programm ist reduzierbar auf eine Anweisung, die niсhт funktioniert.
Behauptung:
Jedes Programm lässt sich um mindestens eine Anweisung kürzen.
Jedes Programm hat mindestens einen Fehler.
Durch Induktion können wir schliessen:
Jedes Programm ist reduzierbar auf eine Anweisung, die niсhт funktioniert.