Weak Markov's Principle
A weaker form of Markov's principle may be stated in the language of analysis as
This form can be justified by Brouwer's continuity principles, whereas the stronger form contradicts them. Thus it can be derived from intuitionistic, realizability, and classical reasoning, in each case for different reasons, but this principle is not valid in the general constructive sense of Bishop.
Read more about this topic: Markov's Principle
Famous quotes containing the words weak and/or principle:
“How weak and little is the light,
All the universe of sight,
Love and delight,
Before the might,
If you love it not, of night.”
—Edward Thomas (1878–1917)
“On principle I dislike an oath which requires a man to swear he has not done wrong. It rejects the Christian principle of forgiveness on terms of repentance. I think it is enough if the man does no wrong hereafter.”
—Abraham Lincoln (1809–1865)