scientific article; zbMATH DE number 3225350
From MaRDI portal
Publication:5513756
zbMath0139.00508MaRDI QIDQ5513756
Publication date: 1960
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (max. 100)
A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ Error and Predicativity ⋮ Nested recursion ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ A Note on the Internal Logic of Constructive Mathematics: The Gel’fond-Schneider Theorem in Transcendental Number Theory ⋮ Proof Theoretic Analysis by Iterated Reflection ⋮ How to be a structuralist all the way down ⋮ Informal and absolute proofs: some remarks from a Gödelian perspective ⋮ Unfolding Schematic Systems ⋮ Feferman and the Truth ⋮ Predicativity and Feferman ⋮ Predicativity and constructive mathematics ⋮ A note on applicability of the incompleteness theorem to human mind ⋮ Gödel and Intuitionism ⋮ Rosser provability and the second incompleteness theorem ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
This page was built for publication:
