FOM: renaming recursion theory

Harvey Friedman friedman at math.ohio-state.edu
Fri Aug 28 11:16:23 EDT 1998


Why not rename recursion theory as:

noncomputability theory?

Maybe that would make everybody happy.





More information about the FOM mailing list