[FOM] "Popular" article about Harvey Friedman's work on arithmetic propositions ...

Timothy Y. Chow tchow at alum.mit.edu
Fri Aug 20 22:42:26 EDT 2010

Martin Davis <eipye at pacbell.net> wrote:
> that can't be proved without large cardinals, in the British magazine 
> New Scientist.

This is a great article, and Elwes is to be commended for bringing Harvey 
Friedman's results to the wider public.


More information about the FOM mailing list