[FOM] Re Timothy Chow's "Re: Harvey's effective number theorists"

Robert M. Solovay solovay at Math.Berkeley.EDU
Mon Apr 17 02:58:11 EDT 2006

On Sun, 16 Apr 2006, Gabriel Stolzenberg wrote:

   (Skewes began
> sometime between 1912 and 1933 and finished in 1955, three years
> after Kreisel explained how to read a bound out of Littlewood's
> proof.)

Skewes bound was quite explicit [though large]. Would K. get such an 
explicit bound. How would the size of K.'s bound compare to that of 

 	--Bob Solovay

More information about the FOM mailing list