nLab
Russian constructivism

Russian constructivism

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 October 10, 2016 at 04:29:07. See the history of this page for a list of all contributions to it.