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:
“What the unpenetrating world call Humanity, is often no more than a weak mind pitying itself.”
—Samuel Richardson (1689–1761)
“Custom, then, is the great guide of human life. It is that principle alone, which renders our experience useful to us, and makes us expect, for the future, a similar train of events with those which have appeared in the past.”
—David Hume (1711–1776)