BLICK VON DER INTUITIONISTISCHEN WARTE

DOI10.1111/j.1746-8361.1958.tb01468.xzbMath0089.24502OpenAlexW2061349205MaRDI QIDQ3264231

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

Related Items

L. E. J. Brouwer: Toward intuitionistic logic ⋮ Heyting’s contribution to the change in research into the foundations of mathematics ⋮ Unnamed Item ⋮ Weyl and Intuitionistic Infinitesimals ⋮ Unnamed Item ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Gödel and Intuitionism