Brouwer and Fraenkel on Intuitionism

DOI10.2307/421057zbMath0969.03002OpenAlexW2047417875MaRDI QIDQ4527934

Dirk van Dalen

Publication date: 5 July 2001

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0603-toc.htm

zbMATH Keywords

BrouwerintuitionismconstructivismGrundlagenstreitFraenkel

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Intuitionistic mathematics (03F55)

Related Items (1)

Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting

Cites Work

• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Hermann Weyl's Intuitionistic Mathematics

This page was built for publication: Brouwer and Fraenkel on Intuitionism