All the details are on MathOverflow [1], and the recommendation of Franzén's Inexhaustibility [2] is spot on.

[1] http://mathoverflow.net/questions/67214/pi1-sentence-indepen...

[2] http://www.aslonline.org/books-lnl_16.html