Proof of Thm A.4, p. A:42 — a machine $N_{n,r}$ computing $N_{n,r}$ and running like $Z$ on $|x|\le n$

Initializing...

Proof of Thm A.4, p. A:42 — a machine $N_{n,r}$ computing $N_{n,r}$ and running like $Z$ on $|x|\le n$ · Prove2Me