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:
“Crimes increase as education, opportunity, and property decrease. Whatever spreads ignorance, poverty and, discontent causes crime.... Criminals have their own responsibility, their own share of guilt, but they are merely the hand.... Whoever interferes with equal rights and equal opportunities is in some ... real degree, responsible for the crimes committed in the community.”
—Rutherford Birchard Hayes (1822–1893)
“Religion means goal and way, politics implies end and means. The political end is recognizable by the fact that it may be attained—in success—and its attainment is historically recorded. The religious goal remains, even in man’s highest experiences, that which simply provides direction on the mortal way; it never enters into historical consummation.”
—Martin Buber (1878–1965)
“The very existence of society depends on the fact that every member of it tacitly admits he is not the exclusive possessor of himself, and that he admits the claim of the polity of which he forms a part, to act, to some extent, as his master.”
—Thomas Henry Huxley (1825–95)