FOM: Recursion theory question

Harvey Friedman friedman at
Wed Feb 20 22:52:24 EST 2002

I had sent an e-mail (2/20/02, 12:41PM) about a proposed solution to my
recursion theory question (2/16/02, 4:58PM), concerning a proposed solution
to the problem (which was intended for a standard indexing such as via
Turing machines, etcetera). That solution has been retracted, and the
problem is still open as far as I know, and is gaining some attention.

I believe that this problem will get solved within a month. (It would be
more interesting if it doesn't).

Have fun with it.

More information about the FOM mailing list