The mentor of Alan Turing: Max Newman (1897--1984) as a logician

DOI10.1007/S00283-013-9387-3zbMath1284.01061OpenAlexW2087856834MaRDI QIDQ384416

Ivor Grattan-Guinness

Publication date: 27 November 2013

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00283-013-9387-3

zbMATH Keywords

topologycomputer sciencelogicfoundations of mathematicsAlan TuringcodebreakersMax Newman

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Related Items (2)

Did Turing stand on Gödel's shoulders? ⋮ Galilean resonances: the role of experiment in Turing’s construction of machine intelligence

Cites Work

• A philosopher's mathematician: Hans Hahn and the Vienna circle
• On theories with a combinatorial definition of 'equivalence'
• The interest of G. H. Hardy, F.R.S., in the philosophy and the history of mathematics
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• A Note on Hahn's Philosophy of Logic
• M. H. Newman's Typability Algorithm for Lambda-calculus
• On Computable Numbers, with an Application to the Entscheidungsproblem
• A formal theorem in Church's theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The mentor of Alan Turing: Max Newman (1897--1984) as a logician