scientific article; zbMATH DE number 3014189
From MaRDI portal
Publication:4757531
zbMath0009.38501MaRDI QIDQ4757531
Publication date: 1934
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The fundamental problem of general proof theory, Some obstacles facing a semantic foundation for constructive mathematics, On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary, Automath Type Inclusion in Barendregt’s Cube, Intuitionistic completeness of first-order logic, Hermann Weyl's Intuitionistic Mathematics, Kolmogorov and mathematical logic, Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice, Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930, Infinity and verifiability in Carnap's inductive logic, Montague's paradox, informal provability, and explicit modal logic, An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion, Recovering quantum logic within an extended classical framework, Explicit Provability and Constructive Semantics, THE LOGIC OF JUSTIFICATION, Disjunction and existence under implication in elementary intuitionistic formalisms, The work of Kurt Gödel, On a finitary version of mathematical analysis, The creating subject, the Brouwer-Kripke schema, and infinite proofs, Introduction: Inferences and proofs, The seeming interdependence between the concepts of valid inference and proof, Intuitionistische Kennzeichnung der endlichen Spezies, On the interpretation of intuitionistic number theory, Gödel and Intuitionism, Truth and Proof in Intuitionism
