Hilbert on different notions of completeness: a conceptual and historical analysis

DOI10.1484/J.ALMA.3.15MaRDI QIDQ2866439zbMATH OpenOpenAlexFDO

Authors Catherine Karela

Publication date 13 December 2013

Published in Almagest (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1484/j.alma.3.15

zbMATH Keywords

completenessHilbertmathematical logicGödel

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• Completeness: from Gödel to Henkin
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Hilbert, completeness and geometry
• Hilbert, logicism, and mathematical existence
• Hilbert's logic. From axiomatics to proof theory

Cited in

(11)

• Towards completeness: Husserl on theories of manifolds 1890--1901
• Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
• Husserl's two notions of completeness. Husserl and Hilbert on completeness and imaginary elements in mathematics
• Is there a ``Hilbert thesis?
• Husserl and Hilbert on Completeness and Husserl's Term Rewrite-based Theory of Multiplicity (Invited Talk)
• In the Shadow of Incompleteness: Hilbert and Gentzen
• Completeness and Categoricity, Part II: Twentieth-Century Metalogic to Twenty-first-Century Semantics
• Completeness: from Gödel to Henkin
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Husserl and Hilbert on completeness, still

This page was built for publication: Hilbert on different notions of completeness: a conceptual and historical analysis

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