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:
“There were some schools, so called [in my youth]; but no qualification was ever required of a teacher, beyond “readin, writin, and cipherin,” to the Rule of Three. If a straggler supposed to understand latin, happened to sojourn in the neighborhood, he was looked upon as a wizzard. There was absolutely nothing to excite ambition for education.”
—Abraham Lincoln (1809–1865)