Satz der Informatik
Satz der Informatik:
Offenbar gelten:
- Jedes Programm hat mindestens einen Fehler.
- Jedes Programm kann durch geeignete Optimierungen um mindestens eine Instruktion verkuerzt werden ohne den Funktionsumfang zu verändern.
Daraus folgt per Induktion:
Jedes Programm kann bei gleichbleibendem Funktionsumfang auf eine einzige Instruktion verkuerzt werden, die nicht funktioniert.
Danke das du/sie mir antworte... 
User
Logikfehler.
Indukion ist nur dann erlaubt wenn die als Basis verwendeten Aussagen gelten. Da es jedoch sowohl Programme geben kann die sich nicht mehr weiter vereinfachen lassen (Da sie bereits aus einer einzige Instruktion bestehen) als auch solche die fehlerfrei funktionieren (Insbesondere solche die nur aus einer Instruktion bestehen, und diese tut was sie soll) folgt daraus rückwärts lediglich das man in jedes Programm durch die Erweiterung um eine Instruktion einen Fehler einbauen kann. (Patchday
)