FOM: Recursion theory question
Harvey Friedman
friedman at math.ohio-state.edu
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