Intuitionistic/Constructive Accounts of the Continuum Today

DOI10.1093/OSO/9780198809647.003.0018zbMath1467.03032OpenAlexW3115941095MaRDI QIDQ5149709

No author found.

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

constructive mathematicsBrouwerintuitionismsmooth infinitesimal analysisconstructive realsmicroquantity

Mathematics Subject Classification ID

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

Related Items (1)

Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

This page was built for publication: Intuitionistic/Constructive Accounts of the Continuum Today