Pages that link to "Item:Q1100453"
From MaRDI portal
The following pages link to Hilbert's program. An essay on mathematical instrumentalism (Q1100453):
Displaying 18 items.
- Different senses of finitude: an inquiry into Hilbert's finitism (Q375340) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- On the concept of finitism (Q510710) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← 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)
- Hilbert's objectivity (Q2447812) (← links)
- An Argumentative Approach to Ideal Elements in Mathematics (Q2950032) (← links)
- Mathematical Existence (Q3370612) (← 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)