The following pages link to Godel on computability (Q3422400):
Displaying 12 items.
- On mind \& Turing's machines (Q885688) (← links)
- What Is the concept of computation? (Q1670768) (← links)
- Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
- Computability. Turing, Gödel, Church, and beyond (Q2844489) (← links)
- Computation and intractability: echoes of Kurt Gödel (Q2856489) (← 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)
- (Q5493757) (← links)
- Logical Approaches to Computational Barriers (Q5898810) (← links)
- Logical Approaches to Computational Barriers (Q5898849) (← links)