scientific article
From MaRDI portal
Publication:3327698
zbMath0541.68001MaRDI QIDQ3327698
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Turing machinebiographyconversationsRiemann HypothesisHilbert's Programordinal logicscomputable numbersEnigma ciphersEnigma Machinesmachinery and intelligencemechanical process
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10) History of computer science (68-03)
Related Items
Turing and the serendipitous discovery of the modern computer ⋮ Mathematical problems in cryptology ⋮ Quantum mechanics with event dynamics ⋮ Three Debates about Computing ⋮ Formalism and intuition in computability ⋮ The mentor of Alan Turing: Max Newman (1897--1984) as a logician ⋮ Did Turing stand on Gödel's shoulders? ⋮ Computability and Recursion ⋮ A personal account of Turing's imprint on the development of computer science ⋮ Hypercomputation: Philosophical issues ⋮ Why Turing’s Thesis Is Not a Thesis ⋮ Improving the pseudo-randomness properties of chaotic maps using deep-zoom ⋮ The machine as data: a computational view of emergence and definability ⋮ Physical constraints on hypercomputation ⋮ Shadowy vision: spanners in the mechanization of mathematics ⋮ Definability as hypercomputational effect ⋮ Three counterexamples refuting Kieu's plan for ``quantum adiabatic hypercomputation; and some uncomputable quantum mechanical tasks ⋮ After 1952: the later development of Alan Turing's ideas on the mathematics of pattern formation ⋮ Turing oracle machines, online computing, and three displacements in computability theory ⋮ Emergence as a computability-theoretic phenomenon ⋮ On Alan Turing's anticipation of connectionism ⋮ On Turing's Turing Test and why the matter matters ⋮ Constructive Recursive Functions, Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian Joint Session ⋮ Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing ⋮ An Overview of Computational Sparse Models and Their Applications in Artificial Intelligence ⋮ Mathematical instruments from times of crisis ⋮ Mysteries of mathematics and computation ⋮ Living with a new mathematical species
