On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
DOI10.1007/978-3-031-06843-0_10OpenAlexW4312297134MaRDI QIDQ5886463FDOQ5886463
Authors: Ioannis M. Vandoulakis
Publication date: 5 April 2023
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-06843-0_10
Recommendations
intuitionistic mathematicsL. E. J. BrouwerA. A. MarkovA. HeytingMarkov's constructive mathematicsA. S. Esenin-Vol'pinB. A. KushnerE. A. Bishopphilosophy of constructive mathematicsV. A. Yankov
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72) Intuitionistic mathematics (03F55)
Cites Work
- Title not available (Why is that?)
- Constructivism in mathematics. An introduction. Volume I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitionism. An introduction
- Existence and feasibility in arithmetic
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary
- What evidence is there that \(2^{\land}65536\) is a natural number?
- Strict finitism and the happy sorites
- Strict finitism, feasibility, and the sorites
- Proof theory in the USSR 1925–1969
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Church's thesis after 70 years
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
- Mathematical Circles
- On A. A. Markov's attitude towards Brouwer's intuitionism
- Title not available (Why is that?)
- Did Bishop Have a Philosophy of Mathematics?†
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logical legacy of Nikolai Vasiliev and modern logic
- On the historical transformations of the square of opposition as semiotic object
- ON THE DOGMA OF THE NATURAL NUMBERS
- Russian origins of non-classical logics
- Title not available (Why is that?)
- Some attempts at a direct reduction of the infinite to the (large) finite
- Theology against logic: the origins of logic in old russia
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (2)
This page was built for publication: On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5886463)