Posts tagged math

gödel’s incompleteness illustrated

:: math

I am having a great time reading Smullyan’s Gödel’s Incompleteness Theorems, a thin volume with the most elegant description of Gödel’s and Tarski’s work i’ve read so far. It’s also the most succint, and it starts with a very nice and very clear demonstration of indecidability that is the simplest i have ever seen. I like it a lot, and it’s short enough for a quick blog post. Here it goes.