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 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)