Is the proof of the following theorem correct?
X.Y. Newberry
newberryxy at gmail.com
Mon Jul 19 22:20:30 EDT 2021
For FOM:
Is the proof of the following theorem correct?
THEOREM 1: There are numbers k and s and a program A(n,m) satisfying the
following conditions.
1. If A(n,m) halts, then C_n(m) diverges.
2. For all n, C_k(n) = A(n,n) and C_s(n) = Ck(s).
3. A(k,s) halts and for all n, A(s,n) diverges.
Here C_n(*) is a program with index n in some exhaustive enumeration of all
possible programs.
The proof is here.
https://xnewberry.tripod.com/Theorem.pdf
--
X.Y. Newberry
*There are two ways to be fooled. One is to believe what isn't true; the
other is to refuse to believe what is true.*
― Søren Kierkegaard
<https://www.goodreads.com/author/show/6172.S_ren_Kierkegaard>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210720/b80d0097/attachment-0001.html>
More information about the FOM
mailing list