Pages that link to "Item:Q4224761"
From MaRDI portal
The following pages link to Church's Thesis: Prelude to a Proof (Q4224761):
Displaying 5 items.
- ET and an infinitary Church's thesis (Q1908701) (← 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)
- The decision problem for effective procedures (Q6113688) (← links)