Williams 
Godel Forever [PDF ebook] 
Through 90 Years of Foundational Claims

Godel Forever takes a critical look at several foundation claims on Godelian incompleteness that have appeared in the literature over the years, strictly adhering to mathematical details. Rephrasing the words from Torkel Franzn: Ken Williams presents a new book on Gdel’s incompleteness theorem for a general audience since no existing book both explains the theorem from a mathematical point of view and reflects his experiences over the years of reading and commenting on references to the incompleteness theorem on the Internet. The range of critical review on the one hand and its elementary, if detailed, derivation of Gdel’s Result (on which it is based) on the other makes Gdel Forever a must read for the serious study of the meaning and consequences of Gdel’s Incompleteness.