Pages that link to "Item:Q4359525"
From MaRDI portal
The following pages link to Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525):
Displaying 12 items.
- Gödel's reception of Turing's model of computability: the ''shift of perception'' in 1934 (Q2011634) (← links)
- Can Church's thesis be viewed as a Carnapian explication? (Q2695029) (← links)
- The Prospects for Mathematical Logic in the Twenty-First Century (Q2736583) (← links)
- Only Two Letters: The Correspondence between Herbrand and Gödel (Q3370619) (← links)
- A Natural Axiomatization of Computability and Proof of Church's Thesis (Q3616433) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- 1999 Spring Meeting of the Association for Symbolic Logic (Q4946842) (← links)
- Mathematical and Technological Computability (Q4972862) (← links)
- What is the Church-Turing Thesis? (Q5055286) (← links)
- Diagonalisation and Church's Thesis: Kleene's Homework (Q5697424) (← links)
- A variant of a recursively unsolvable problem (Q5845383) (← links)
