[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


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



More information about the FOM mailing list