Grundlagen der Mathematik I
From MaRDI portal
Publication:5585366
DOI10.1007/978-3-642-86894-8zbMath0191.28402OpenAlexW4252147174MaRDI QIDQ5585366
Publication date: 1968
Full work available at URL: http://link.springer.com/978-3-642-86894-8
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75)
Related Items
Hilbert's Programs: 1917–1922, Epsilon substitution method for elementary analysis, Lifting proofs from countable to uncountable mathematics, An Arithmetically Complete Predicate Modal Logic, Herbrand's fundamental theorem in the eyes of Jean van Heijenoort, \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps, Montague's paradox, informal provability, and explicit modal logic, Elie Cartan and pan-geometry of multispatial hyperspace, The Reverse Mathematics of wqos and bqos, Hilbert's epsilon as an operator of indefinite committed choice, On mathematical instrumentalism, Mathematical intuition and natural numbers: a critical discussion, 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06, About certain groups of classes of sets and their application to the definitions of numbers, A simple proof of Parsons' theorem, Un'estensione del teorema di Lob, Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA, Logical self-reference as a model for conscious experience, A Survey of Propositional Realizability Logic, Definition in mathematics, PROOF MINING IN Lp SPACES, Formalism and Hilbert's understanding of consistency problems, On the Motives for Proof Theory, Abstraction, Axiomatization and Rigor: Pasch and Hilbert, Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics, The slingshot argument and sentential identity, Elimination problems in logic: a brief history, The calculus of natural calculation, From constructivism to computer science, Fragments of arithmetic, A remark about absolute planes, Markov's constructive analysis; a participant's view, Predicate logics of expressively strong theories, Topological Interpretations of Provability Logic, Studies in constructive mathematics and mathematical logic. Part IX, Decidability of Right One-Way Jumping Finite Automata, Foundations for analysis and proof theory, Development of a wrinkling algorithm for orthotropic membrane materials
