Textausdruckmaschine/Beweis/Eigenschaften/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Wir betrachten eine Maschine, die nach und nach sämtliche Texte ausdruckt und damit auch früher oder später jeden Beweis ausgibt. Welche Eigenschaft eines in der Vorlesung 1 beschriebenen universellen Lösungsverfahrens besitzt diese Maschine nicht?
Eine Lösung erstellen