scientific article; zbMATH DE number 221856
From MaRDI portal
Publication:4697298
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Foundations: limits and generalizations, elementary topology of the line (26A03) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30) Constructive real analysis (26E40)
Recommendations
Cited in
(12)- Markov's constructivism in some problems of theoretical informatics
- scientific article; zbMATH DE number 95254 (Why is no real title available?)
- scientific article; zbMATH DE number 218498 (Why is no real title available?)
- scientific article; zbMATH DE number 826822 (Why is no real title available?)
- scientific article; zbMATH DE number 4135901 (Why is no real title available?)
- Markov's constructive analysis; a participant's view
- scientific article; zbMATH DE number 1894486 (Why is no real title available?)
- Cantor's paradise regained: constructive mathematics from Brouwer to Kolmogorov to Gelfond
- The Constructive Mathematics of A. A. Markov
- Truth, proof and infinity. A theory of constructions and constructive reasoning
- scientific article; zbMATH DE number 922615 (Why is no real title available?)
- Constructive mathematics in St Petersburg, Russia: a (somewhat subjective) view from within
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4697298)