Pages that link to "Item:Q4359525"

The following pages link to Step by Recursive Step: Church's Analysis of Effective Calculability (Q4359525):

Displayed 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)