scientific article; zbMATH DE number 3860368

MaRDI QIDQ3327698zbMATH OpenFDO

Authors Andrew Hodges

Publication date 1983

zbMATH Keywords

biographycomputable numbersconversationsEnigma ciphersEnigma MachinesHilbert's Programmachinery and intelligencemechanical processordinal logicsRiemann HypothesisTuring machine

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 2118474
• Alan Turing, Enigma. Aus dem Englischen übersetzt von Rolf Herken und Eva Lack.
• The Turing guide. Edited by Jack Copeland, Jonathan Bowen, Mark Sprevak and Robin Wilson
• scientific article; zbMATH DE number 4072919
• Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John F. Turing

Cited in

(39)

• Turing oracle machines, online computing, and three displacements in computability theory
• Emergence as a computability-theoretic phenomenon
• Living with a new mathematical species
• Writing about Alan Turing
• On Alan Turing's anticipation of connectionism
• Mysteries of mathematics and computation
• Quantum mechanics with event dynamics
• Hypercomputation: Philosophical issues
• On Turing's Turing Test and why the matter matters
• Turing and the serendipitous discovery of the modern computer
• Shadowy vision: spanners in the mechanization of mathematics
• Alan Turing, Enigma. Aus dem Englischen übersetzt von Rolf Herken und Eva Lack.
• Mathematical problems in cryptology
• Physical constraints on hypercomputation
• Definability as hypercomputational effect
• Three counterexamples refuting Kieu's plan for ``quantum adiabatic hypercomputation; and some uncomputable quantum mechanical tasks
• Prof: Alan Turing decoded
• An overview of computational sparse models and their applications in artificial intelligence
• Turing. Pioneer of the information age
• Formalism and intuition in computability
• scientific article; zbMATH DE number 5727219 (Why is no real title available?)
• The mentor of Alan Turing: Max Newman (1897--1984) as a logician
• scientific article; zbMATH DE number 6823180 (Why is no real title available?)
• Why Turing’s Thesis Is Not a Thesis
• Improving the pseudo-randomness properties of chaotic maps using deep-zoom
• A personal account of Turing's imprint on the development of computer science
• scientific article; zbMATH DE number 2118474 (Why is no real title available?)
• Alan Turing and the Central Limit Theorem
• The machine as data: a computational view of emergence and definability
• 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
• Three debates about computing
• Alan M. Turing. Centenary edition. With a foreword by Martin Davis and Lyn Irvine and an afterword by John F. Turing
• Computability and Recursion
• Mathematical instruments from times of crisis
• After 1952: the later development of Alan Turing's ideas on the mathematics of pattern formation
• Did Turing stand on Gödel's shoulders?
• The paternity of the modern computer
• Turing's influence on programming. Book extract from ``The dawn of software engineering: from Turing to Dijkstra [Zbl 1328.68010]

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3327698)