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
- Classically true principles:
- Classically false principles:
- Classically false results:
Revised on July 29, 2011 16:50:13
by Toby Bartels