nLab
Russian constructivism
Redirected from "nilpotent completion".
Russian constructivism
Russian constructivism
Summary
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 (not always accepted by other constructivists):
- Classically false principles:
- Classically false results (false w.r.t. classical functions and sets):
Last revised on February 19, 2020 at 16:05:01.
See the history of this page for a list of all contributions to it.