Publication:2763548
From MaRDI portal
zbMath0986.01023MaRDI QIDQ2763548
Publication date: 17 January 2002
01A75: Collected or selected works; reprintings or translations of classics
03-03: History of mathematical logic and foundations
Related Items
Conceptual Confluence in 1936: Post and Turing, Semantics-to-Syntax Analyses of Algorithms, The Developments of the Concept of Machine Computability from 1936 to the 1960s, After 1952: the later development of Alan Turing's ideas on the mathematics of pattern formation, Extending and interpreting Post's programme, Emergence as a computability-theoretic phenomenon, Multidisciplinary Trends in Modern Artificial Intelligence: Turing’s Way