Heyting’s contribution to the change in research into the foundations of mathematics

DOI10.1080/01445349408837229zbMath0810.01003OpenAlexW2041870325WikidataQ58531050 ScholiaQ58531050MaRDI QIDQ4312340

Miriam Franchella

Publication date: 10 November 1994

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445349408837229

zbMATH Keywords

foundationsBrouwerGödelHeyting

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60)

Related Items (3)

Conceptions of truth in intuitionism ⋮ L. E. J. Brouwer: Toward intuitionistic logic ⋮ Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The war of the frogs and the mice, or the crisis of the Mathematische Annalen
• Intuitionism. An introduction
• Intuitionistic views on the nature of mathematics
• Zur Deutung der intuitionistischen Logik
• BLICK VON DER INTUITIONISTISCHEN WARTE
• Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
• On weakened quantification

This page was built for publication: Heyting’s contribution to the change in research into the foundations of mathematics