David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
From MaRDI portal
(Redirected from Publication:3445908)
History of mathematics in the 20th century (01A60) 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) Proof theory in general (including proof-theoretic semantics) (03F03) First-order arithmetic and fragments (03F30)
Recommendations
Cited in
(35)- Hilbert, logicism, and mathematical existence
- Hilbert's logic. From axiomatics to proof theory
- Intuitionism and effective descriptive set theory
- David Hilbert and the foundations of the theory of plane area
- Completeness: from Husserl to Carnap
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
- Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland
- scientific article; zbMATH DE number 1264623 (Why is no real title available?)
- scientific article; zbMATH DE number 1303687 (Why is no real title available?)
- Metric Geometries in an Axiomatic Perspective
- NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
- Hilbert, duality, and the geometrical roots of model theory
- scientific article; zbMATH DE number 1867335 (Why is no real title available?)
- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Remarks on Hilbert’s Proof Theory
- A mathematical commitment without computational strength
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach
- Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics
- Husserl's logical grammar
- Predicativity and Feferman
- Primitive recursive arithmetic and its role in the foundations of arithmetic: historical and philosophical reflections
- The prehistory of the subsystems of second-order arithmetic
- scientific article; zbMATH DE number 2216773 (Why is no real title available?)
- Book review of: W. Ewald (ed.) and W. Sieg (ed.), David Hilbert's lectures on the foundations of arithmetic and logic, 1917--1933.
- Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays' ``Grundlagen der Mathematik
- GÖDEL ON MANY-VALUED LOGIC
- Mathematics and experience
- Introducing heuristic philosophy of mathematics
- Artificial intelligence and inherent mathematical difficulty
- Gödel's introduction to deduction
- Hilbert's problems, Kant, and decidability
- Should computations halt?
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)
