Example image of eyePlorer eyePlorer map for 'Markov's principle': Andrey Markov (Soviet mathematician) Constructivism (mathematics) Intuitionistic logic Tautology Computability theory Recursive set Recursively enumerable set Predicate logic Computable function Heyting arithmetic Apartness relation Rational number Real analysis Realizability Μ operator Simply typed lambda calculus Turing completeness Admissible rule Friedman translation Harvey Friedman Church's thesis (constructive mathematics) Strategy-stealing argument
Disclaimer