6
Proof of Trakhtenbrot’s Theorem
•
By reduction from the halting problem: given
a Turing machine M, does it halt on the
empty tape ?
•
•
Given M, construct
f
M
s.t. M halts iff
f
M
has a
finite model