Pages that link to "Item:Q4779210"
From MaRDI portal
The following pages link to Origins of Recursive Function Theory (Q4779210):
Displayed 12 items.
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The problem of space invariance for sequential machines (Q1102112) (← links)
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models (Q1583485) (← links)
- Counting nondeterministic computations (Q2055958) (← links)
- Is there a ``Hilbert thesis''? (Q2631647) (← links)
- Why Post Did [Not] Have Turing’s Thesis (Q3305321) (← links)
- Conceptual Confluence in 1936: Post and Turing (Q4637215) (← links)
- Proving Things About the Informal (Q4637225) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- Folding left and right over Peano numbers (Q4972067) (← links)
- Mathematical and Technological Computability (Q4972862) (← links)
- The Developments of the Concept of Machine Computability from 1936 to the 1960s (Q5250213) (← links)