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

[Martin Davis]

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