David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
DOI10.1007/978-3-540-69444-1zbMATH Open1275.03002OpenAlexW2506607617WikidataQ56069434 ScholiaQ56069434MaRDI QIDQ3445908FDOQ3445908
Authors: David Hilbert 
Publication date: 7 June 2007
Full work available at URL: https://doi.org/10.1007/978-3-540-69444-1
Recommendations
History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) First-order arithmetic and fragments (03F30)
Cited In (25)
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
- Hilbert, logicism, and mathematical existence
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
- Husserl's logical grammar
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Predicativity and Feferman
- Hilbert, duality, and the geometrical roots of model theory
- Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics
- GÖDEL ON MANY-VALUED LOGIC
- David Hilbert and the foundations of the theory of plane area
- Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays' ``Grundlagen der Mathematik
- Metric Geometries in an Axiomatic Perspective
- Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
- Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933.
- Intuitionism and effective descriptive set theory
- Title not available (Why is that?)
- Completeness: from Husserl to Carnap
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- The prehistory of the subsystems of second-order arithmetic
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Title not available (Why is that?)
- A mathematical commitment without computational strength
This page was built for publication: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3445908)
