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

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

Zur bewiesenen Aussage