The following pages link to (Q2844489):
Displaying 8 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)
- Martin Davis’s Bibliography 1950–2015 (Q3305330) (← 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)
- The dependence of computability on numerical notations (Q6088491) (← links)
- The decision problem for effective procedures (Q6113688) (← links)
