BLICK VON DER INTUITIONISTISCHEN WARTE

DOI10.1111/J.1746-8361.1958.TB01468.XMaRDI QIDQ3264231zbMATH OpenOpenAlexFDO

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)

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

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)