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:
“Thus it seemed that this one hillside illustrated the principle of all the operations of Nature. The Maker of this earth but patented a leaf. What Champollion will decipher this hieroglyphic for us, that we may turn over a new leaf at last?”
—Henry David Thoreau (1817–1862)