SRH notes

Fixed point theorem and proof:

http://www.columbia.edu/~hg17/naming-diag.pdf

Let T be the theory and, for each wff φ, let ¬φ¬ (that left right corners symbol) be the term that serves as its name. (Clarify that notation!).

===
http://thalesianfools.blogspot.com/2007/04/gdels-diagonalization-function.html

In a previous post, I introduced Gödel's famous incompleteness theorem: it is impossible to capture all arithmetical truths in a single, consistent formal system.

That is SRH.

===

http://www.math.hawaii.edu/~dale/godel/godel.html