BLICK VON DER INTUITIONISTISCHEN WARTE

DOI10.1111/J.1746-8361.1958.TB01468.XzbMATH Open0089.24502OpenAlexW2061349205MaRDI QIDQ3264231FDOQ3264231

Authors: Arend Heyting 

Publication date: 1958

Published in: Dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1958.tb01468.x

zbMATH Keywords

foundations of mathematics, philosophy, logic

Cited In (10)

• Title not available (Why is that?)
• Shaping the enemy: foundational labelling by L.E.J. Brouwer and A. Heyting
• Weyl and Intuitionistic Infinitesimals
• The creating subject, the Brouwer-Kripke schema, and infinite proofs
• L. E. J. Brouwer: Toward intuitionistic logic
• Gödel and intuitionism
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
• Something But Not Too Much: Ontological Considerations in Intuitionistic Mathematics
• Heyting’s contribution to the change in research into the foundations of mathematics
• Title not available (Why is that?)

This page was built for publication: BLICK VON DER INTUITIONISTISCHEN WARTE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3264231)