Since chapter 7 in Peter Smith's book is so short, I'll summarize it quickly and then start discussing chapter 8.
Chapter 7 starts by comparing the two incompleteness theorems discussed in previous chapters (let's call these "Smith's theorems") to Gödel's first incompleteness theorem as follows:
Showing posts with label chapter 7. Show all posts
Showing posts with label chapter 7. Show all posts
Friday, June 28, 2013
Subscribe to:
Posts (Atom)