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:
“No two men see the world exactly alike, and different temperaments will apply in different ways a principle that they both acknowledge. The same man will, indeed, often see and judge the same things differently on different occasions: early convictions must give way to more mature ones. Nevertheless, may not the opinions that a man holds and expresses withstand all trials, if he only remains true to himself and others?”
—Johann Wolfgang Von Goethe (1749–1832)