Hilbert vindicated?

DOI10.1023/A:1004915006179MaRDI QIDQ1293009zbMATH OpenFDO

Authors Jaakko Hintikka

Publication date 9 May 2000

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1004915006179

zbMATH Keywords

axiomatic methodcombinatorial reasoningformalismHilbert's philosophy of mathematicsmathematical reasoning

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) 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)

Review text

It is argued that the labeling of Hilbert's philosophy of mathematics as formalism is highly misleading. The author claims that Hilbert's so-called formalism was the result of several independent ideas most of which he could have maintained even if he had given up his formalism. Among those ideas were: axiomatic ideal and the idea of mathematical reasoning as combinatorial reasoning.

Recommendations

• scientific article; zbMATH DE number 859510
• scientific article; zbMATH DE number 2211754
• Hilbert's formalism and arithmetization of mathematics

Cited in

(9)

• Hilbert's formalism and arithmetization of mathematics
• Hilbert's objectivity
• Is there a ``Hilbert thesis?
• Informal proof, formal proof, formalism
• scientific article; zbMATH DE number 5885880 (Why is no real title available?)
• Belated Decision in the Hilbert-Einstein Priority Dispute
• Hilbert
• scientific article; zbMATH DE number 2211754 (Why is no real title available?)
• On the meaning of Hilbert's consistency problem (Paris, 1900)

This page was built for publication: Hilbert vindicated?

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