The following pages link to (Q3327698):
Displaying 29 items.
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician (Q384416) (← links)
- A personal account of Turing's imprint on the development of computer science (Q465701) (← links)
- The machine as data: a computational view of emergence and definability (Q514566) (← links)
- Turing oracle machines, online computing, and three displacements in computability theory (Q1032637) (← links)
- Emergence as a computability-theoretic phenomenon (Q1036528) (← links)
- Living with a new mathematical species (Q1075302) (← links)
- On Alan Turing's anticipation of connectionism (Q1293032) (← links)
- Mysteries of mathematics and computation (Q1323030) (← links)
- Quantum mechanics with event dynamics (Q1372472) (← links)
- Hypercomputation: Philosophical issues (Q1434379) (← links)
- On Turing's Turing Test and why the matter matters (Q1582268) (← links)
- Turing and the serendipitous discovery of the modern computer (Q1655534) (← links)
- Shadowy vision: spanners in the mechanization of mathematics (Q1776886) (← links)
- Mathematical problems in cryptology (Q1910812) (← links)
- Physical constraints on hypercomputation (Q2482458) (← links)
- Definability as hypercomputational effect (Q2497876) (← links)
- Three counterexamples refuting Kieu's plan for ``quantum adiabatic hypercomputation''; and some uncomputable quantum mechanical tasks (Q2497885) (← links)
- An Overview of Computational Sparse Models and Their Applications in Artificial Intelligence (Q2866116) (← links)
- Formalism and intuition in computability (Q2941588) (← links)
- Why Turing’s Thesis Is Not a Thesis (Q4637226) (← links)
- Improving the pseudo-randomness properties of chaotic maps using deep-zoom (Q4642599) (← links)
- Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session (Q5250212) (← links)
- Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing (Q5253922) (← links)
- Three Debates about Computing (Q5326387) (← links)
- Computability and Recursion (Q5689263) (← links)
- Mathematical instruments from times of crisis (Q5867737) (← links)
- After 1952: the later development of Alan Turing's ideas on the mathematics of pattern formation (Q5962965) (← links)
- Did Turing stand on Gödel's shoulders? (Q6169862) (← links)
- The paternity of the modern computer (Q6639623) (← links)
