The following pages link to (Q3993070):
Displayed 8 items.
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- The intrinsic difficulty of recursive functions (Q1919986) (← links)
- Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics (Q1942335) (← links)
- Prime simplicity (Q2268042) (← links)
- Mathematics as the Art of Abstraction (Q2950040) (← links)
- Research and Development in Computable Production Functions (Q4660035) (← links)
- Computability and Recursion (Q5689263) (← links)
- Strict finitism and feasibility (Q6064273) (← links)