| Rang: 3751 |
| Behauptung: Jedes Programm läß sich um eine Anweisung kürzen. Jedes Programm hat mindestens einen Fehler. Durch Induktion können wir schließen: Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert. | ![]() |
| Homepage Tool | Nächster Witz | Google-Gadget |