David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

DOI10.1007/978-3-540-69444-1zbMath1275.03002OpenAlexW2506607617WikidataQ56069434 ScholiaQ56069434MaRDI QIDQ3445908

No author found.

Publication date: 7 June 2007

Full work available at URL: https://doi.org/10.1007/978-3-540-69444-1

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) Collected or selected works; reprintings or translations of classics (01A75) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (17)

A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH ⋮ Completeness: from Husserl to Carnap ⋮ Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ Intuitionism and effective descriptive set theory ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Metric Geometries in an Axiomatic Perspective ⋮ NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM ⋮ HILBERT, DUALITY, AND THE GEOMETRICAL ROOTS OF MODEL THEORY ⋮ Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics ⋮ Bridging the gap between analytic and synthetic geometry: Hilbert's axiomatic approach ⋮ Husserl's Logical Grammar ⋮ Predicativity and Feferman ⋮ David Hilbert and the foundations of the theory of plane area ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF ⋮ Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

This page was built for publication: David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933