zbMATH — the first resource for mathematics

The constructive school of Markov. (L’√©cole constructive de Markov.) (French) Zbl 0837.01002
The author surveys the work of this school, which A. A. Markov (1903–1979) led from the 1950s. Inspired by Church’s thesis, they examined various algorithms and decidability results, and made use of intuitionistic logic. The principal branches of mathematics addressed were real-variable analysis and the theory of functions, functional analysis and aspects of topology.

01A72 Schools of mathematics
Biographic References:
Markov, A. A.
PDF BibTeX Cite