The following pages link to (Q4793040):
Displayed 8 items.
- On mind \& Turing's machines (Q885688) (← links)
- Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computabili (Q2631823) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- Why Post Did [Not] Have Turing’s Thesis (Q3305321) (← links)
- Theses for Computation and Recursion on Concrete and Abstract Structures (Q4637218) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- Mathematical and Technological Computability (Q4972862) (← links)
- The dependence of computability on numerical notations (Q6088491) (← links)