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:
“Those whom the gods chose as their property must not consort with mortals.”
—Franz Grillparzer (1791–1872)
“But his Lordship [tells] ... us that God is wholly here, and wholly there, and wholly every where; because he has no parts. I cannot comprehend nor conceive this. For methinks it implies also that the whole world is also in the whole God, and in every part of God. Nor ... can I find anything of this in the Scripture. If I could find it there, I could believe it; and if I could find it in the public doctrine of the Church, I could easily abstain from contradicting it.”
—Thomas Hobbes (1579–1688)
“For believe me!—the secret to harvesting the greatest abundance and the greatest enjoyment from existence is this—living dangerously! Build your cities on the slopes of Vesuvius! Send your ships into uncharted seas! Live at war with your peers and yourselves! Be robbers and conquerors, so long as you cannot be rulers and possessors, you knowing ones! The time will soon be past when you could be content to live hidden in the forests like timid deer.”
—Friedrich Nietzsche (1844–1900)