Statement of The Lemma
Let T be a first-order theory in the language of arithmetic and capable of representing all computable functions. Let ψ be a formula in the theory T with one free variable. The diagonal lemma states that there is a sentence φ such that φ ↔ ψ(#(φ)) is provable in T.
Intuitively, φ is a self-referential sentence saying that φ has the property ψ. The sentence φ can also be viewed as a fixed point of the operation assigning to each formula θ the sentence ψ(#(θ)). The sentence φ constructed in the proof is not literally the same as ψ(#(φ)), but is provably equivalent to it in the theory T.
Read more about this topic: Diagonal Lemma
Famous quotes containing the words statement of the, statement of and/or statement:
“Eroticism has its own moral justification because it says that pleasure is enough for me; it is a statement of the individual’s sovereignty.”
—Mario Vargas Llosa (b. 1936)
“I think, therefore I am is the statement of an intellectual who underrates toothaches.”
—Milan Kundera (b. 1929)
“After the first powerful plain manifesto
The black statement of pistons, without more fuss
But gliding like a queen, she leaves the station.”
—Stephen Spender (1909–1995)