Five stages of accepting constructive mathematics

DOI10.1090/bull/1556zbMath1469.03171OpenAlexW2529465479WikidataQ55967657 ScholiaQ55967657MaRDI QIDQ5122448

Andrej Bauer

Publication date: 22 September 2020

Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/bull/1556

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Related Items

To be or not to be constructive, that is not the question, Unnamed Item, Maximal ideals in countable rings, constructively

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Measure, randomness and sublocales
• Une théorie combinatoire des séries formelles
• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• Nominal Sets
• A lambda calculus for real analysis
• Intuitionism As Generalization
• Homotopy theoretic models of identity types
• C ∞ -Schemes
• The point of pointless topology
• Axiom of Choice and Complementation
• Set Theory
• Homotopy Type Theory: Univalent Foundations of Mathematics
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• An injection from the Baire space to natural numbers
• Nicht konstruktiv beweisbare Sätze der Analysis