scientific article; zbMATH DE number 2211754

MaRDI QIDQ5694561zbMATH OpenFDO

Authors

Publication date 4 October 2005

zbMATH Keywords

Hilbert's formalismHilbert's programmeintuitive thought

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 859510
• The ways of Hilbert's axiomatics: structural and formal
• Formalism and Hilbert's understanding of consistency problems
• The finite and infinite: on Hilbert's formalist approach before and after Gödel's incompleteness theorems
• Hilbert vindicated?

Cited in

(7)

• Hilbert's formalism and arithmetization of mathematics
• Hilbert vindicated?
• Formalism and Hilbert's understanding of consistency problems
• Informal proof, formal proof, formalism
• scientific article; zbMATH DE number 859510 (Why is no real title available?)
• The ways of Hilbert's axiomatics: structural and formal
• 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 Q5694561)