David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
From MaRDI portal
Publication:3445908
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)
Recommendations
Cited in
(25)- Hilbert, logicism, and mathematical existence
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
- 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
- Completeness: from Husserl to Carnap
- scientific article; zbMATH DE number 2216773 (Why is no real title available?)
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- The prehistory of the subsystems of second-order arithmetic
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- scientific article; zbMATH DE number 1867335 (Why is no real title available?)
- 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)
