Disjunction Property Implies Existence Property
In 1974 Harvey Friedman proved that in any recursively enumerable extension of intuitionistic arithmetic, the converse of the above also holds. Throughout the following discussion assume is such an extension of arithmetic. Harvey Friedman's proof is quite intricate, making of self-referential sentences in a similar way to the one used in the proof of the incompleteness theorem. They key step is to find a bound on the existential quantifier because bounded existential formula can be written as a disjunction,
- .
However, given an arbitrary existential formula, can we hope to replace it by a bounded one?
Read more about this topic: Disjunction And Existence Properties
Famous quotes containing the words property, implies and/or existence:
“The English language is nobody’s special property. It is the property of the imagination: it is the property of the language itself.”
—Derek Walcott (b. 1930)
“On a huge hill,
Cragged, and steep, Truth stands, and he that will
Reach her, about must, and about must go;
And what the hill’s suddenness resists, win so;
Yet strive so, that before age, death’s twilight,
Thy Soul rest, for none can work in that night.
To will, implies delay, therefore now do:
Hard deeds, the body’s pains; hard knowledge too
The mind’s endeavours reach, and mysteries
Are like the Sun, dazzling, yet plain to all eyes.”
—John Donne (1572–1631)
“If the heart beguiles itself in its choice [of a wife], and imagination will give excellencies which are not the portion of flesh and blood:Mwhen the dream is over, and we awake in the morning, it matters little whether ‘tis Rachael or Leah,—be the object what it will, as it must be on the earthly side ... of perfection,—it will fall short of the work of fancy, whose existence is in the clouds.”
—Laurence Sterne (1713–1768)