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:
“Our memory is like a shop in the window of which is exposed now one, now another photograph of the same person. And as a rule the most recent exhibit remains for some time the only one to be seen.”
—Marcel Proust (1871–1922)