Gödel Forever takes a critical look at several foundation claims on Gödelian incompleteness that have appeared in the literature over the years, strictly adhering to mathematical details.
Rephrasing the words from Torkel Franzén: Ken Williams presents a new book on Gödel'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 Gödel's Result (on which it is based) on the other makes Gödel Forever a must read for the serious study of the meaning and consequences of Gödel's Incompleteness.