Hilbert vindicated?

DOI10.1023/A:1004915006179zbMath0935.03012MaRDI QIDQ1293009

Jaakko Hintikka

Publication date: 9 May 2000

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

formalism; axiomatic method; mathematical reasoning; combinatorial reasoning; Hilbert's philosophy of mathematics

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

01A60: History of mathematics in the 20th century

03A05: Philosophical and critical aspects of logic and foundations

03-03: History of mathematical logic and foundations