L'école constructive de Markov
The constructivist school of Markov
Français
Cet article donne les principales caractéristiques de l'école constructive d'Andrej Andreevich Markov (1903–1979). Après un bref rappel de la situation des mathématiques et de la logique au début du xxe siècle, on évoque rapidement la naissance de l'intuitionnisme et de la théorie des fonctions récursives. On décrit ensuite les objets et les méthodes du constructivisme de Markov. A titre d'exemples on expose les principaux résultats relatifs à l'analyse réelle selon le point de vue de Markov. On termine en soulignant l'intérêt de ces résultats pour les mathématiques d'aujourd'hui.