A Couple of comments here on "this isn't an introduction, its a book!!", for anyone who checked here first, that is the title of the book, and while I can't spe

A Couple of comments here on "this isn't an introduction, its a book!!", for anyone who checked here first, that is the title of the book, and while I can't speak to Smith's coverage, if you're going to "introduce" someone to the incompleteness theorems, a book is how you're going to do it. They're two of the most significant theorems in modern mathematics, maybe all of mathematics. Logicomix is fine, but I'm not pushing anyone to actually learn these theorems through a graphic novel or a blogpost. As far as book alternatives, an interesting and useful way to get your head around what Godel was doing is to try to read Gottlob Frege, his notation isn't that hard to parse, and it marks the origin point of modern mathematical logic and the attempt to do that which Godel proved impossible. Foundations of Arithmetic is easily readable with only a slight amount of contextualization for someone with a high school level mathematical education.