nLab
Russian constructivism

Russian constructivism

Introduction

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 July 29, 2011 16:50:13 by Toby Bartels (64.89.48.241)