Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Brouwer and Fraenkel on Intuitionism

From MaRDI portal
Publication:4527934
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4527934&oldid=18636751"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 7 February 2024, at 09:24.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki