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:
“Where women are concerned, the rule is never to go out with anyone better dressed than you.”
—John Malkovich (b. 1953)