(Q3922074)
Statements
0 references
Identifiers
Sitelinks
Wikipedia(6 entries)
- enwiki Markov's principle
- frwiki Principe de Markov
- itwiki Principio di Markov
- ptwiki Princípio de Markov
- ruwiki Принцип Маркова
- ukwiki Принцип Маркова
in 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