Pages that link to "Item:Q2472612"
From MaRDI portal
The following pages link to Church's thesis and the conceptual analysis of computability (Q2472612):
Displaying 13 items.
- The influence of domain interpretations on computational models (Q1036525) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- Computability. Turing, Gödel, Church, and beyond (Q2844489) (← links)
- The Representational Foundations of Computation (Q2965629) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- (Q4600389) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Church Without Dogma: Axioms for Computability (Q5384973) (← links)
- The Church-Turing Thesis over Arbitrary Domains (Q5452180) (← links)
- (Q5493754) (← links)
- New Computational Paradigms (Q5717035) (← links)
- The dependence of computability on numerical notations (Q6088491) (← links)