nLab Russian constructivism

Russian constructivism

Russian constructivism

Summary

The Russian school of constructive mathematics, associated principally with Andrey Markov Jr, was (is?) a variety of constructive mathematics focussing on recursion theory.

Principles and results

Last revised on February 19, 2020 at 16:05:01. See the history of this page for a list of all contributions to it.