scientific article; zbMATH DE number 1264623

MaRDI QIDQ4233564zbMATH OpenFDO

Authors Gregory H. Moore

Publication date 17 August 1999

zbMATH Keywords

axiom of reducibilityBernaysconsistencyfirst-order logichigher-order logicHilbertHilbert's unpublished 1917 lectures on logiclogicismmetalogicPostPost-completenesspropositional logicsoundness

Mathematics Subject Classification ID

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

Recommendations

• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Hilbert's logic. From axiomatics to proof theory
• scientific article; zbMATH DE number 761255
• Hilbert, logicism, and mathematical existence

Cited in

(14)

• Hilbert, logicism, and mathematical existence
• Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
• Jean van Heijenoort's conception of modern logic, in historical perspective
• Completeness: from Husserl to Carnap
• Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic
• FOL 75?
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• scientific article; zbMATH DE number 1867335 (Why is no real title available?)
• scientific article; zbMATH DE number 761255 (Why is no real title available?)
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• On Hilbert's axiomatics of propositional logic
• HILBERT, BOURBAKI AND THE SCORNING OF LOGIC
• scientific article; zbMATH DE number 2216773 (Why is no real title available?)
• The Russellian influence on Hilbert and his school

This page was built for publication:

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