Grundlagen der Mathematik I

DOI10.1007/978-3-642-86894-8MaRDI QIDQ5585366zbMATH OpenOpenAlexFDO

Authors Paul Bernays, David Hilbert

Publication date 1968

Full work available at URL http://link.springer.com/978-3-642-86894-8

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75)

Cited in

(44)

• Decidability of right one-way jumping finite automata
• A simple proof of Parsons' theorem
• An Arithmetically Complete Predicate Modal Logic
• Un'estensione del teorema di Lob
• The calculus of natural calculation
• Herbrand's fundamental theorem in the eyes of Jean van Heijenoort
• Predicate logics of expressively strong theories
• On the motives for proof theory
• Formalism and Hilbert's understanding of consistency problems
• The reverse mathematics of wqos and bqos
• Hilbert's Programs: 1917–1922
• scientific article; zbMATH DE number 3013302 (Why is no real title available?)
• scientific article; zbMATH DE number 3628892 (Why is no real title available?)
• From constructivism to computer science
• Elie Cartan and pan-geometry of multispatial hyperspace
• \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
• Hybrid modal operators for definite descriptions
• Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics
• scientific article; zbMATH DE number 193416 (Why is no real title available?)
• Elimination problems in logic: a brief history
• Topological interpretations of provability logic
• scientific article; zbMATH DE number 3601542 (Why is no real title available?)
• Markov's constructive analysis; a participant's view
• Abstraction, Axiomatization and Rigor: Pasch and Hilbert
• Studies in constructive mathematics and mathematical logic. Part IX
• On mathematical instrumentalism
• Between Russell and Hilbert: Behmann on the Foundations of Mathematics
• Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA
• 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06
• Fragments of arithmetic
• Epsilon substitution method for elementary analysis
• Definition in mathematics
• The slingshot argument and sentential identity
• Foundations for analysis and proof theory
• Lifting proofs from countable to uncountable mathematics
• A Survey of Propositional Realizability Logic
• Montague's paradox, informal provability, and explicit modal logic
• Mathematical intuition and natural numbers: a critical discussion
• Hilbert's epsilon as an operator of indefinite committed choice
• A remark about absolute planes
• Logical self-reference as a model for conscious experience
• Development of a wrinkling algorithm for orthotropic membrane materials
• PROOF MINING IN L^p SPACES
• About certain groups of classes of sets and their application to the definitions of numbers

This page was built for publication: Grundlagen der Mathematik I

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5585366)