Markov's principle
Sign in to savein constructive mathematics and computability theory, the axiom that given a decidable predicate on natural numbers, if it cannot be false for all numbers, then it is true for some number
In the Vinony graph
Vinony's link graph records 19 inbound references to Markov's principle, and connects out to natural number, real number and rational number.
Vinony files it under Constructivism (philosophy of mathematics), Logic and Mathematical principles.
Vinony links it to 6 Wikipedia language editions.
Wikidata facts
- Named after
- Andrei Markov
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Connections
natural number
Entity
real number
Entity
rational number
Entity
metric space
Entity
De Morgan's laws
Entity
real analysis
Entity
quantifier
Entity
computability theory
Entity
Luitzen Egbertus Jan Brouwer
Entity
first-order logic
Entity
Peano axioms
Entity
complete metric space
Entity
Turing completeness
Entity
validity
Entity
classical logic
Entity
contraposition
Entity
computable function
Entity
recursive set
Entity
intuitionistic logic
Entity
constructivism
Entity