Hilbert's program. An essay on mathematical instrumentalism
From MaRDI portal
Publication:1100453
zbMath0641.03001MaRDI QIDQ1100453
Publication date: 1986
Published in: Synthese Library (Search for Journal in Brave)
consistencyGödel's incompleteness theoremsHilbert's programanti-Hilbertian argumentationsfinitary methodsmathematical epistemology
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99) Proof theory and constructive mathematics (03F99)
Related Items (17)
Different senses of finitude: an inquiry into Hilbert's finitism ⋮ Nominalistic metalogic ⋮ The paradox of the knower revisited ⋮ An Argumentative Approach to Ideal Elements in Mathematics ⋮ Some further results on pointfree convex geometry ⋮ Fundamental results for pointfree convex geometry ⋮ Hilbert's objectivity ⋮ On the concept of finitism ⋮ PROVING UNPROVABILITY ⋮ Mathematical Existence ⋮ The Gödelian Inferences ⋮ The good, the bad and the ugly ⋮ Finite mathematics. ⋮ ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS ⋮ UNIVERSISM AND EXTENSIONS OF V ⋮ On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” ⋮ Reverse mathematics and its meaning
This page was built for publication: Hilbert's program. An essay on mathematical instrumentalism
