[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:
http://www.newscientist.com/article/mg20727731.300-to-infinity-and-beyond-the-struggle-to-save-arithmetic.html

Martin



More information about the FOM mailing list