The following pages link to Some facts about Kurt Gödel (Q3910497):
Displaying 8 items.
- Gödel on Tarski (Q598320) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Kurt Gödel in sharper focus (Q1063582) (← links)
- Discussion on the foundation of mathematics (Q3318743) (← links)
- Only Two Letters: The Correspondence between Herbrand and Gödel (Q3370619) (← links)
- Proofs as Objects (Q5057055) (← links)
- Von Neumann's Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections (Q5171468) (← links)
- RUSSELL AND GÖDEL (Q5283450) (← links)
