The following pages link to (Q3216621):
Displaying 9 items.
- Naturalness in Mathematics (Q5213636) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)
- Gödel and Intuitionism (Q5250219) (← links)
- In Praise of Replacement (Q5388757) (← links)
- Zermelo and Set Theory (Q5717235) (← links)
- Gödel's Program Revisited Part I: The Turn to Phenomenology (Q5754717) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896080) (← links)
- The Search for New Axioms in the Hyperuniverse Programme (Q5896167) (← links)
- Penrose's new argument (Q5935793) (← links)