Pages that link to "Item:Q2761680"
From MaRDI portal
The following pages link to Second Thoughts about Church's Thesis and Mathematical Proofs (Q2761680):
Displaying 8 items.
- Consistency, mechanicalness, and the logic of the mind (Q1187223) (← links)
- Markov's constructive analysis; a participant's view (Q1292407) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- Is Universal Computation a Myth? (Q4686642) (← links)
- The decision problem for effective procedures (Q6113688) (← links)
