Markov's rule is the formulation of Markov's principle as a rule. It states that is derivable as soon as is, for decidable. The logician Harvey Friedman showed that Markov's rule is an admissible rule in intuitionistic logic, Heyting arithmetic, and various other intuitionistic theories, using the Friedman translation.
Read more about this topic: Markov's Principle
Famous quotes containing the word rule:
“It has come to be practically a sort of rule in literature, that a man, having once shown himself capable of original writing, is entitled thenceforth to steal from the writings of others at discretion. Thought is the property of him who can entertain it; and of him who can adequately place it. A certain awkwardness marks the use of borrowed thoughts; but, as soon as we have learned what to do with them, they become our own.”
—Ralph Waldo Emerson (1803–1882)