The following pages link to Some remarks on Hilbert's program (Q2736243):
Displaying 11 items.
- On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (Q809063) (← links)
- Hilbert's program. An essay on mathematical instrumentalism (Q1100453) (← links)
- H for Hilbert. \dots and M for mathematics (Q2304770) (← links)
- Proof Theory in Philosophy of Mathematics (Q3160752) (← links)
- On a Relationship between Gödel's Second Incompleteness Theorem and Hilbert's Program (Q3398983) (← links)
- (Q3635860) (← links)
- Hilbert's program sixty years later (Q3799997) (← links)
- Partial realizations of Hilbert's program (Q3799998) (← links)
- (Q3828003) (← links)
- Hilbert's Programs: 1917–1922 (Q4254642) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)