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 October 10, 2016 04:29:07
by Toby Bartels