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

[Robert M. Solovay]

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 
Skewes?

 	--Bob Solovay