Markov's principle, named after Andrey Markov Jr, is a classical tautology that is not intuitionistically valid but that may be justified by constructive means. There are many equivalent formulations of Markov's principle.
Read more about Markov's Principle: Statements of The Principle, Realizability, Markov's Rule, Weak Markov's Principle
Famous quotes containing the word principle:
“The principle of asceticism never was, nor ever can be, consistently pursued by any living creature. Let but one tenth part of the inhabitants of the earth pursue it consistently, and in a day’s time they will have turned it into a Hell.”
—Jeremy Bentham (1748–1832)