“Markov’s principle”的概念、定义、翻译、参考文献-科学参考

Markov’s principle

Logic

A restricted axiom scheme in the language of arithmetic due to mathematician Andrei Markov, Jr. (1903–1979) of the form:
- • $\neg\neg \exists x φ (x) \to \exists x φ (x)$
when $φ (x)$ is decidable. On the BHK interpretation of mathematics, this is read as the statement that whenever the inexistence of a witness for a decidable $φ (x)$ would lead to absurdity, one is able to construct such a witness. Markov’s principle is not valid in Heyting Arithmetic ( $HA$ ), although the rule form of the axiom (Markov’s rule) is admissible in $HA$ .

单词	Markov’s principle
释义	Markov’s principle Logic A restricted axiom scheme in the language of arithmetic due to mathematician Andrei Markov, Jr. (1903–1979) of the form: • $\neg\neg \exists x φ (x) \to \exists x φ (x)$ when $φ (x)$ is decidable. On the BHK interpretation of mathematics, this is read as the statement that whenever the inexistence of a witness for a decidable $φ (x)$ would lead to absurdity, one is able to construct such a witness. Markov’s principle is not valid in Heyting Arithmetic ( $HA$ ), although the rule form of the axiom (Markov’s rule) is admissible in $HA$ .
随便看	electropneumatic electropolar electropolishing electropositive electropositive element electroreceptor electroscope electrosensitive printer electrospray ionization electrostatic adhesion electrostatic beam deflection electrostatic deflection electrostatic discharge electrostatic field electrostatic focusing electrostatic generator electrostatic induction electrostatic lens electrostatic loudspeaker electrostatic precipitation electrostatic printer electrostatics electrostatic storage device electrostatic units electrostatic voltmeter