Pages that link to "Item:Q1100453"
From MaRDI portal
The following pages link to Hilbert's program. An essay on mathematical instrumentalism (Q1100453):
Displaying 25 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- On the limit of the finite. The Hilbert programme in the context of formalism and finitism (Q441154) (← links)
- On the concept of finitism (Q510710) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (Q809063) (← links)
- The good, the bad and the ugly (Q1036086) (← links)
- Reverse mathematics and its meaning (Q1312709) (← links)
- Nominalistic metalogic (Q1386682) (← links)
- Finite mathematics. (Q1578768) (← links)
- H for Hilbert. \dots and M for mathematics (Q2304770) (← links)
- Hilbert's objectivity (Q2447812) (← links)
- Some remarks on Hilbert's program (Q2736243) (← links)
- Hilbert's programme: on the change of mathematical practice before and after Gödel's incompleteness theorems. (Q2856944) (← links)
- An Argumentative Approach to Ideal Elements in Mathematics (Q2950032) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- Mathematical Existence (Q3370612) (← links)
- On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program (Q3398983) (← links)
- The Gödelian Inferences (Q3401359) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- UNIVERSISM AND EXTENSIONS OF <i>V</i> (Q5001554) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)
- On Universality and Formality in 19th Century Symbolic Logic: The Case of Schröder’s “Absolute Algebra” (Q5258977) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
- Some further results on pointfree convex geometry (Q6193270) (← links)
