The following pages link to (Q2844489):
Displayed 4 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)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)