L. E. J. Brouwer: Toward intuitionistic logic

DOI10.1006/HMAT.1995.1026zbMath0833.01017OpenAlexW1996058864MaRDI QIDQ1899011

Miriam Franchella

Publication date: 14 March 1996

Published in: Historia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/hmat.1995.1026

zbMATH Keywords

intuitionistic logiclaw of excluded middle

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Related Items (2)

Brouwer and Nietzsche: Views about Life, Views about Logic ⋮ Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics

Cites Work

• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• Intuitionism. An introduction
• The rejected parts of Brouwer's dissertation on the foundations of mathematics
• BLICK VON DER INTUITIONISTISCHEN WARTE
• Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
• Heyting’s contribution to the change in research into the foundations of mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: L. E. J. Brouwer: Toward intuitionistic logic