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

Martin Davis eipye at pacbell.net
Wed Aug 18 11:01:52 EDT 2010

that can't be proved without large cardinals, in the British magazine 
New Scientist. It really attempts to explain some of the 
combinatorial concepts underlying Harvey's Boolean Relation Theory, 
and doesn't contain too many misleading statements. It strangely 
suggests that the arithmetic its readers know and love (or hate) is 
in dire straits because of G"odel's work, and that Harvey's work (of 
which I am a great fan) is an effort to save it:


More information about the FOM mailing list