Pages that link to "Item:Q2844489"
From MaRDI portal
The following pages link to Computability. Turing, Gödel, Church, and beyond (Q2844489):
Displaying 19 items.
- Constructive and computable Hahn-Banach theorems for the (second) fundamental theorem of welfare economics (Q462852) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Church's thesis and the conceptual analysis of computability (Q2472612) (← links)
- Three books on computability, with a special focus on Turing's legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computabili (Q2631823) (← links)
- Computation and intractability: echoes of Kurt Gödel (Q2856489) (← links)
- The foundations of computation, physics and mentality: the Turing legacy (Q2941587) (← links)
- Martin Davis’s Bibliography 1950–2015 (Q3305330) (← links)
- (Q3673102) (← links)
- Ad Infinitum... The Ghost in Turing's Machine (Q4273958) (← links)
- (Q4510371) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- The stochastic thermodynamics of computation (Q5053500) (← links)
- Church Without Dogma: Axioms for Computability (Q5384973) (← links)
- (Q5493757) (← links)
- (Q5756952) (← links)
- Logical Approaches to Computational Barriers (Q5898810) (← links)
- The dependence of computability on numerical notations (Q6088491) (← links)
- The decision problem for effective procedures (Q6113688) (← links)