The third midterm is here.
This problem is due Tuesday November 30, and will replace your lowest quiz score, if you choose to turn it in. Additional extra credit is possible depending on the quality of your work.
Please work on your own. If somebody helps you, or you find ideas or the solution either in a book or online, please mention this in what you turn in, including the name of the person, the name of the book, or a link to the relevant website, together with any additional information that may be useful to identify the sources.
In lecture we explained how Newton’s method can be used to approximate numerically: We start with a guess , and then define
The goal here is to see how good these approximations are.
As part of the University of Florida Special Year in Logic, I attended a conference at Gainesville on March 5–9, 2007, on Singular Cardinal Combinatorics and Inner Model Theory. Over lunch, Hugh Woodin mentioned a nice argument that quickly gives a proof of the second incompleteness theorem for set theory, and somewhat more. I present this argument here.
The proof is similar to that in Thomas Jech, On Gödel’s second incompleteness theorem, Proceedings of the American Mathematical Society 121 (1) (1994), 311-313. However, it is semantic in nature: Consistency is expressed in terms of the existence of models. In particular, we do not need to present a proof system to make sense of the result. Of course, thanks to the completeness theorem, if consistency is first introduced syntactically, we can still make use of the semantic approach.
Woodin’s proof follows.