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 subordination is the great bond of union and harmony through the universe.”
—Catherine E. Beecher (1800–1878)