Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Die arithmetische Repräsentierbarkeit der Programmabbildung bedeutet, dass genau dann gilt, wenn die entsprechende arithmetische Aussage in gilt. Genau so wurden aber die definiert.