“I Am Not Provable”
Francesco Berto · 2009
This chapter contains sections titled: Proof pairs The property of being a theorem of TNT (is not recursive!) Arithmetizing substitution How can a TNT sentence refer to itself? γ Fixed point Consistency and omega-consistency Proving G1 Rosser's proof