[FOM] question about Harvey Friedman's recent post

Martin Davis martin at eipye.com
Tue Oct 23 19:17:43 EDT 2007

In his very interesting recent post, Harvey says of a particular 
function that it is " epsilon_0 recursive, but not
< epsilon_0 recursive".

I'm afraid that I don't know what that means. Can someone please enlighten me.


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)

More information about the FOM mailing list