Principe de Markov
De Wikipedia, l'encyclopédie encyclopedia
Le principe de Markov, nommé d'après Andreï Markov Jr, est une déclaration d'existence conditionnelle pour laquelle il existe de nombreuses formulations, ainsi qu'il est discuté ci-dessous.
Ce principe est utilisé dans la validité logique classique, mais pas dans les mathématiques intuitionniste constructives. Toutefois, de nombreux cas particuliers sont prouvables dans un contexte constructif.