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:
“Men conceive themselves as morally superior to those with whom they differ in opinion. A Socialist who thinks that the opinions of Mr. Gladstone on Socialism are unsound and his own sound, is within his rights; but a Socialist who thinks that his opinions are virtuous and Mr. Gladstone’s vicious, violates the first rule of morals and manners in a Democratic country; namely, that you must not treat your political opponent as a moral delinquent.”
—George Bernard Shaw (1856–1950)