On V.A. Yankov’s Contribution to the History of Foundations of Mathematics

DOI10.1007/978-3-031-06843-0_10MaRDI QIDQ5886463zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

intuitionistic mathematicsL. E. J. BrouwerA. A. MarkovA. HeytingMarkov's constructive mathematicsA. S. Esenin-Vol'pinB. A. KushnerE. A. Bishopphilosophy of constructive mathematicsV. A. Yankov

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72) Intuitionistic mathematics (03F55)

Recommendations

• V. A. Yankov on non-classical logics, history and philosophy of mathematics
• On A. A. Markov's attitude towards Brouwer's intuitionism
• Restoration: S. A. Yanovskaya's path in logic
• scientific article; zbMATH DE number 1736370
• scientific article; zbMATH DE number 3062893

Cites work

• scientific article; zbMATH DE number 4135901 (Why is no real title available?)
• scientific article; zbMATH DE number 3183055 (Why is no real title available?)
• scientific article; zbMATH DE number 3720909 (Why is no real title available?)
• scientific article; zbMATH DE number 3741385 (Why is no real title available?)
• scientific article; zbMATH DE number 3784878 (Why is no real title available?)
• scientific article; zbMATH DE number 3792127 (Why is no real title available?)
• scientific article; zbMATH DE number 46073 (Why is no real title available?)
• scientific article; zbMATH DE number 95254 (Why is no real title available?)
• scientific article; zbMATH DE number 733399 (Why is no real title available?)
• scientific article; zbMATH DE number 1483989 (Why is no real title available?)
• scientific article; zbMATH DE number 1855559 (Why is no real title available?)
• scientific article; zbMATH DE number 893396 (Why is no real title available?)
• scientific article; zbMATH DE number 3266563 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3294573 (Why is no real title available?)
• scientific article; zbMATH DE number 3050584 (Why is no real title available?)
• scientific article; zbMATH DE number 3051936 (Why is no real title available?)
• scientific article; zbMATH DE number 3056680 (Why is no real title available?)
• scientific article; zbMATH DE number 3090127 (Why is no real title available?)
• scientific article; zbMATH DE number 3092551 (Why is no real title available?)
• A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
• Church's thesis after 70 years
• Constructivism in mathematics. An introduction. Volume I
• Did Bishop Have a Philosophy of Mathematics?†
• Existence and feasibility in arithmetic
• Intuitionism. An introduction
• Mathematical Circles
• ON THE DOGMA OF THE NATURAL NUMBERS
• On A. A. Markov's attitude towards Brouwer's intuitionism
• 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
• On the historical transformations of the square of opposition as semiotic object
• Proof theory in the USSR 1925–1969
• Russian origins of non-classical logics
• Some attempts at a direct reduction of the infinite to the (large) finite
• Strict finitism and the happy sorites
• Strict finitism, feasibility, and the sorites
• The logical legacy of Nikolai Vasiliev and modern logic
• Theology against logic: the origins of logic in old russia
• What evidence is there that \(2^{\land}65536\) is a natural number?

Cited in

(2)

• V. Yankov’s Contributions to Propositional Logic
• Geometrical apriorism of V. Ya. Zinger

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)