Markov's principle (also known as the Leningrad principle), named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below. The principle is logically valid classically, but not in intuitionistic constructive mathematics.
Markov's principle (also known as the Leningrad principle), named after Andrey Markov Jr, is a conditional existence statement for which there are many equivalent formulations, as discussed below. The principle is logically valid classically, but not in intuitionistic constructive mathematics.
Source: Wikipedia "Markov's principle" · CC BY-SA 4.0
Share this article: X · Bluesky