Markov's principle (Q3922074)
Jump to navigation
Jump to search
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
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Markov's principle |
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 |
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 Принцип Маркова