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:
“A few days later the younger son gathered all he had and traveled to a distant country, and there he squandered his property in dissolute living.”
—Bible: New Testament, Luke 15:13.
“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)
“Truth exists. The sole purpose of this proposition is to assert the existence of truth against imbeciles and sceptics.”
—Edward Herbert Of Cherbury, Lord (1583–1648)