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