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:
“Only strong personalities can endure history, the weak ones are extinguished by it.”
—Friedrich Nietzsche (1844–1900)
“The monk in hiding himself from the world becomes not less than himself, not less of a person, but more of a person, more truly and perfectly himself: for his personality and individuality are perfected in their true order, the spiritual, interior order, of union with God, the principle of all perfection.”
—Thomas Merton (1915–1968)