jbaxter@physics.adelaide.edu.au (Jon Baxter) (01/23/91)
Imagine for the sake of argument that I am a Turing machine axiomatizable by "TNT" a la Godel, Escher, Bach. I know (can even *prove*) that TNT is consistent, so one might say that I am TNT looking back at itself and proving my own consistency. But that is impossible, so what is going wrong? The most likely explanation to me is that the "proof" I offer for TNT's consistency is not a proof in the language of TNT. Or am I missing the point? -- Jon. "Life's too short for death."