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

Revised on October 10, 2016 04:29:07 by Toby Bartels (108.167.41.14)