Questions for GEB Unit XIV
Page and figure references are from the English Penguin Books edition, unless
Dialogue XIV: Air on G's String
"IS NOT A SENTENCE FRAGMENT" IS NOT A SENTENCE FRAGMENT.
(p. 435 and 437)
Chapter XIV: On Formally Undecidable Propositions of TNT and
At the lower half of p. 449, Hofstadter says: "...since the rules
of the Propositional Calculus ensure that all well-formed formulas of the
form <Pv~P> are theorems." I always (intuitively?) thought that P
needed to be a theorem, too - not just well-formed...? I'm confused.