Hilbert

MaRDI QIDQ4604261zbMATH OpenFDO

Authors Curtis Franks

Publication date 23 February 2018

zbMATH Keywords

proof theorymodel theoryHilbertlogical completeness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Recommendations

• Hilbert's logic. From axiomatics to proof theory
• scientific article; zbMATH DE number 2074341
• Hilbert's programs and beyond
• Hilbert vindicated?
• The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics

Cited in

(6)

• David Hilbert
• Let none but geometers enter here
• scientific article; zbMATH DE number 6321725 (Why is no real title available?)
• Hilbert's objectivity
• scientific article; zbMATH DE number 3046903 (Why is no real title available?)
• Hilbert versus Hindman

This page was built for publication: Hilbert

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