Zum Inhalt springen

Registermaschine/Einzelbefehle/Arithmetische Repräsentierung/Fakt/Beweis

Aus Wikiversity
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.