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:
“The enemy is like a woman, weak in face of opposition, but correspondingly strong when not opposed. In a quarrel with a man, it is natural for a woman to lose heart and run away when he faces up to her; on the other hand, if the man begins to be afraid and to give ground, her rage, vindictiveness and fury overflow and know no limit.”
—St. Ignatius Of Loyola (1491–1556)
“Now, what I want is, Facts. Teach these boys and girls nothing but Facts. Facts alone are wanted in life. Plant nothing else, and root out everything else. You can only form the minds of reasoning animals upon Facts: nothing else will ever be of any service to them. This is the principle on which I bring up my own children, and this is the principle on which I bring up these children. Stick to Facts, sir!”
—Charles Dickens (1812–1870)