Pages that link to "Item:Q809063"
From MaRDI portal
The following pages link to On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem (Q809063):
Displaying 7 items.
- Hilbert's program. An essay on mathematical instrumentalism (Q1100453) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Hilbert's programme: on the change of mathematical practice before and after Gödel's incompleteness theorems. (Q2856944) (← 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)
- UNIVERSISM AND EXTENSIONS OF <i>V</i> (Q5001554) (← links)
- THE COLLAPSE OF THE HILBERT PROGRAM: A VARIATION ON THE GÖDELIAN THEME (Q5044312) (← links)