CHAPTER XIV: On Formally Undecidable Propositions of TNT and Related Systems

[Erik]

The first half of this chapter was extremely challenging to read and follow. The second half was much easier to follow. I liked the Proof Pair concepts, but then I started to get lost when the example walkthroughs were happening. I think that I understood the main points and walkthrough of the Godel numbering and TNT introspection, but I definitely would not be able to apply this chapter if asked to take a test on it.

[Erik]

I remember really liking the spot in this chapter where the author states that Proof-Pair-ness can be tested with a BlooP program. I was looking for uses or references to those program classifications, but I don't think I would have been able to identify them with out the authors help.

[[deleted user]]

Gödel's proof is difficult. I read this outstanding little book, and it helped me understand it better than the GEB book.

http://www.amazon.com/Godels-Proof-Er...