The following pages link to Proving Church's thesis (Q2701936):
Displaying 6 items.
- Church's thesis from the point of view of provability interpretation (Q1823243) (← links)
- Kripke's paradox and the Church-Turing thesis (Q2475301) (← links)
- The physical Church thesis as an explanation of the Galileo thesis (Q2629933) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)