[FOM] Concrete Mathematical Incompleteness/articles

[Harvey Friedman]

Readers might be interested in

http://plus.maths.org/content/picking-holes-mathematics

and the earlier article

http://www.newscientist.com/article/mg20727731.300-to-infinity-and-beyond-the-struggle-to-save-arithmetic.html

which was posted previously by Martin Davis at http://www.cs.nyu.edu/pipermail/fom/2010-August/015012.html 
  with his comments.

Harvey Friedman