Trakhtenbrot

1
Trakhtenbrots Theorem
2
The following decision problem is undecidable

•  

3
Matyasevich Theorem

•  

Hilberts 10th Problem
4
Proof (of T.s Theorem)

•  

5
Reduction

•  

6

•  

7
 

•  

8
This sentence enforces

•  

9
 

•