The following pages link to Reflections on Church's thesis (Q1105577):
Displaying 13 items.
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- On Alan Turing's anticipation of connectionism (Q1293032) (← links)
- Influence of noise on the function of a ''physiological'' neural network (Q1821714) (← links)
- ET and an infinitary Church's thesis (Q1908701) (← links)
- Formalism and intuition in computability (Q2941588) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- The Mathematical Work of S.C.Kleene (Q4837673) (← links)
- Mathematical and Technological Computability (Q4972862) (← links)
- Kalmár's Argument Against the Plausibility of Church's Thesis (Q5207922) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)
- Did Turing stand on Gödel's shoulders? (Q6169862) (← links)