The following pages link to Godel on computability (Q3422400):
Displaying 6 items.
- On mind \& Turing's machines (Q885688) (← links)
- Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
- Gödel's Introduction to Logic in 1939 (Q3618450) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- Hilbert's Axiomatics as ‘Symbolic Form’? (Q5169372) (← links)
- Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing (Q5253922) (← links)
