7
Proof of Trakhtenbrot’s Theorem
9
A
.
A
²
f
M
9
C. (C is a halting computation of M)
M halts:
f
M
has a finite model:
Hence a model
A
should stand for a computation of M