scientific article; zbMATH DE number 5575850

MaRDI QIDQ3635860zbMATH OpenFDO

Authors Thierry Coquand

Publication date 6 July 2009

zbMATH Keywords

coherence of arithmeticDavid HilbertJacques Herbrand

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60)

Recommendations

• scientific article; zbMATH DE number 4087620
• scientific article; zbMATH DE number 7095141
• Hilbert's programs and beyond
• Some remarks on Hilbert's program
• scientific article; zbMATH DE number 2204755
• Hilbert programme and applied proof theory
• HILBERT'S PROBLEMS
• scientific article; zbMATH DE number 713586
• scientific article; zbMATH DE number 5019597

Cited in

(8)

• Herbrand Award acceptance speech
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• Hilbert's Programs: 1917–1922
• scientific article; zbMATH DE number 221855 (Why is no real title available?)
• Harald Ganzinger's legacy: contributions to logics and programming
• Remarks on Hilbert’s Proof Theory
• Jacques Herbrand and his lemma
• Hilbert versus Hindman

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 Q3635860)