Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic

DOI10.2307/421184zbMath0942.03003OpenAlexW2074191263WikidataQ55981796 ScholiaQ55981796MaRDI QIDQ4940735

Richard Zach

Publication date: 15 August 2000

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0503-toc.htm

zbMATH Keywords

rulesindependenceconsistencycompletenessnormal formssemanticsdependenceaxiomatization of propositional logic

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03)

Related Items (15)

GÖDEL’S NOTRE DAME COURSE ⋮ Gentzen's Proof Systems: Byproducts in a Work of Genius ⋮ Completeness: from Husserl to Carnap ⋮ Local axioms in disguise: Hilbert on Minkowski diagrams ⋮ Towards completeness: Husserl on theories of manifolds 1890--1901 ⋮ THE GENEALOGY OF ‘’ ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Identity of Proofs Based on Normalization and Generality ⋮ Coherence for modalities ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Between Russell and Hilbert: Behmann on the Foundations of Mathematics ⋮ Bernays and Set Theory ⋮ A Natural Axiomatization of Computability and Proof of Church's Thesis ⋮ Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic

Cites Work

• Hilbert's ``Grundlagen der Geometrie
• Hilbert's logic. From axiomatics to proof theory
• Husserl and Hilbert on completeness. A neglected chapter in early twentieth century foundations of mathematics
• The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica
• Categoricity
• Unnamed Item
• Unnamed Item

This page was built for publication: Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic