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:
“There is something that Governments care for far more than human life, and that is the security of property, and so it is through property that we shall strike the enemy.... Be militant each in your own way.... I incite this meeting to rebellion.”
—Emmeline Pankhurst (1858–1928)
“I’m a priest, not a priestess.... “Priestess” implies mumbo jumbo and all sorts of pagan goings-on. Those who oppose us would love to call us priestesses. They can call us all the names in the world—it’s better than being invisible.”
—Carter Heyward (b. 1946)
“Perfect present has no existence in our consciousness. As I said years ago in Erewhon, it lives but upon the sufferance of past and future. We are like men standing on a narrow footbridge over a railway. We can watch the future hurrying like an express train towards us, and then hurrying into the past, but in the narrow strip of present we cannot see it. Strange that that which is the most essential to our consciousness should be exactly that of which we are least definitely conscious.”
—Samuel Butler (1835–1902)