Hilbert vindicated?

DOI10.1023/A:1004915006179zbMATH Open0935.03012MaRDI QIDQ1293009FDOQ1293009

Authors: Jaakko Hintikka 

Publication date: 9 May 2000

Published in: Synthese (Search for Journal in Brave)

Recommendations

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

zbMATH Keywords

axiomatic methodmathematical reasoningformalismcombinatorial reasoningHilbert's philosophy of mathematics

Mathematics Subject Classification ID

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

Cited In (7)

• Informal proof, formal proof, formalism
• Title not available (Why is that?)
• Hilbert's objectivity
• Belated Decision in the Hilbert-Einstein Priority Dispute
• Is there a ``Hilbert thesis?
• Title not available (Why is that?)
• Hilbert

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)