The following pages link to (Q3584678):
Displaying 8 items.
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- Gödel, Gentzen, Goodstein: the magic sound of a G-string (Q2341287) (← links)
- Walking Through Cantor's Paradise and Escher's Garden: Epistemological Reflections on the Mathematical Infinite (I) (Q2790376) (← links)
- Paradoxes of the infinite -- how to make two balls out of one (Q2875248) (← links)
- The mathematics of infinity. A guide to great ideas (Q2883339) (← links)
- (Q3749030) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)