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:
“Therefore doth heaven divide
The state of man in divers functions,
Setting endeavor in continual motion,
To which is fixed, as an aim or butt,
Obedience; for so work the honeybees,
Creatures that by a rule in nature teach
The act of order to a peopled kingdom.”
—William Shakespeare (1564–1616)