Hilbert

zbMATH Open1385.03001MaRDI QIDQ4604261FDOQ4604261

Curtis Franks

Publication date: 23 February 2018

Recommendations

• Hilbert's logic. From axiomatics to proof theory
• [[:Publication:4469351|Title not available (Why is that?)]]
• Hilbert's programs and beyond
• Hilbert vindicated?
• The Pursuit of Rigor: Hilbert's axiomatic method and the objectivity of mathematics

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)

Cited In (4)

• David Hilbert
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)