Pages that link to "Item:Q5434472"
From MaRDI portal
The following pages link to Skolem and pessimism about proof in mathematics (Q5434472):
Displaying 9 items.
- Skolem's paradox and constructivism (Q1095905) (← links)
- Infinite forcing and the generic multiverse (Q2307303) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Deflating Skolem (Q2576395) (← links)
- Reflections on Skolem's relativity of set-theoretical concepts (Q2765249) (← links)
- Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert's program (Q2856488) (← links)
- Cohen and Set Theory (Q3616434) (← links)
- The mathematical significance of proof theory (Q5301856) (← links)
- (Q5691471) (← links)