On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
From MaRDI portal
Publication:5886463
DOI10.1007/978-3-031-06843-0_10MaRDI QIDQ5886463
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
intuitionistic mathematics; L. E. J. Brouwer; A. A. Markov; A. Heyting; Markov's constructive mathematics; A. S. Esenin-Vol'pin; B. A. Kushner; E. A. Bishop; philosophy of constructive mathematics; V. A. Yankov
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
01A72: Schools of mathematics
03F55: Intuitionistic mathematics
Cites Work
- 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
- Strict finitism and the happy sorites
- What evidence is there that \(2^{\land}65536\) is a natural number?
- Intuitionism. An introduction
- Constructivism in mathematics. An introduction. Volume I
- On the historical transformations of the square of opposition as semiotic object
- The logical legacy of Nikolai Vasiliev and modern logic
- Church's thesis after 70 years
- Proof theory in the USSR 1925–1969
- Theology against logic: the origins of logic in old russia
- A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
- ON THE DOGMA OF THE NATURAL NUMBERS
- STRICT FINITISM, FEASIBILITY, AND THE SORITES
- Did Bishop Have a Philosophy of Mathematics?†
- Mathematical Circles
- Russian Origins of Non-Classical Logics
- Existence and feasibility in arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
