Zitat von
Der_Unwissende:
stimmt so natürlich überhaupt nicht. Es fehlt a) der Beweis, dass dein Von-Neumann-Rechner vollständig ist und natürlich dass du mit Lisp und dem Pascal Subset jeden Algorithmus implementieren kannst.
a) muss man in weiterfuehrender Literatur nachschlagen.
Das ich fuer Lisp oder das Pascal-Subset etwas beweisen muss ist hingegen nicht noetig.
Die implementierte Maschine fuehrt ja eine eigene Sprache aus.
Die Paarung rekursive Maschine mit beliebigem Programm ist rekursiv und die Paarung iterative Maschine mit beliebigem Programm ist iterativ.
Dafuer ist halt das Studium da. Man muss sich mit hoeherer Mathematik beschaeftigen.