Pages that link to "Item:Q2472612"
From MaRDI portal
The following pages link to Church's thesis and the conceptual analysis of computability (Q2472612):
Displayed 7 items.
- The influence of domain interpretations on computational models (Q1036525) (← 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)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- The Church-Turing Thesis over Arbitrary Domains (Q5452180) (← links)
- The dependence of computability on numerical notations (Q6088491) (← links)