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:
“Whether our feet are compressed in iron shoes, our faces hidden with veils and masks; whether yoked with cows to draw the plow through its furrows, or classed with idiots, lunatics and criminals in the laws and constitutions of the State, the principle is the same; for the humiliations of the spirit are as real as the visible badges of servitude.”
—Elizabeth Cady Stanton (1815–1902)