What Turing did after he invented the universal Turing machine
From MaRDI portal
Publication:1592265
DOI10.1023/A:1008371426608zbMath0972.01027OpenAlexW1483030139MaRDI QIDQ1592265
Diane Proudfoot, B. Jack Copeland
Publication date: 1 May 2001
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1008371426608
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) General topics in artificial intelligence (68T01) History of computer science (68-03)