I am trying to understand the halting problem better. What would be a few examples of some first order formulas that express a halting problem? Any responses would be appreciated! Thank you!
First Order Logic Example of Halting Problem
0
$\begingroup$
logic
-
0If you want a sentence in the language of *arithmetic*, such a sentence is terribly complicated, since we have to encode Turing machine computations using only $+$, $\times$, and logical symbols. – 2012-12-09
-
1Example in code then? – 2012-12-09
-
1Again quite complicated, too complicated for a satisfactory answer. – 2012-12-09
-
0if you have any ideas or could explain in words , would help – 2012-12-09
-
0Take a look at the following file http://www.math.psu.edu/simpson/courses/math457/trakh.ps – 2012-12-09
-
0this does not work for me :( – 2012-12-09
-
0www.math.psu.edu/simpson/courses/math457/trakh.ps – 2012-12-09