The following pages link to (Q5493757):
Displaying 11 items.
- Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
- A new Gödelian argument for hypercomputing minds based on the busy beaver problem (Q2495984) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- On Turing machines knowing their own Gödel-sentences (Q2765286) (← links)
- Computability. Turing, Gödel, Church, and beyond (Q2844489) (← links)
- Computation and intractability: echoes of Kurt Gödel (Q2856489) (← links)
- Godel on computability (Q3422400) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- (Q5756952) (← links)
- Logical Approaches to Computational Barriers (Q5898810) (← links)
- Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach (Q6098747) (← links)