Intuitionistic/constructive accounts of the continuum today

DOI10.1093/OSO/9780198809647.003.0018MaRDI QIDQ5149709zbMATH OpenOpenAlexFDO

Authors John L. Bell

Publication date 12 February 2021

Published in The History of Continua (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/oso/9780198809647.003.0018

zbMATH Keywords

Brouwerconstructive mathematicsconstructive realsintuitionismmicroquantitysmooth infinitesimal analysis

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60) Nonstandard analysis (26E35) Constructive real analysis (26E40)

Recommendations

• scientific article; zbMATH DE number 2212005
• scientific article; zbMATH DE number 2212541
• Continuity in intuitionism
• To be or not to be constructive, that is not the question
• Contemporary Infinitesimalist Theories of Continua and Their Late Nineteenth- and Early Twentieth-Century Forerunners

Cited in

(13)

• To be or not to be constructive, that is not the question
• How Woodin changed his mind: new thoughts on the continuum hypothesis
• On Poincaré-type continuum and certain of its basic properties
• scientific article; zbMATH DE number 5519284 (Why is no real title available?)
• scientific article; zbMATH DE number 3918365 (Why is no real title available?)
• scientific article; zbMATH DE number 177639 (Why is no real title available?)
• scientific article; zbMATH DE number 589322 (Why is no real title available?)
• scientific article; zbMATH DE number 1795212 (Why is no real title available?)
• Vom Kontinuum zum Integral
• scientific article; zbMATH DE number 1894486 (Why is no real title available?)
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
• Continuity, Constructibility, and Intuitivity
• Contemporary Infinitesimalist Theories of Continua and Their Late Nineteenth- and Early Twentieth-Century Forerunners

This page was built for publication: Intuitionistic/constructive accounts of the continuum today

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5149709)