Did Turing stand on Gödel's shoulders?
From MaRDI portal
Publication:6169862
DOI10.1007/s00283-022-10177-yMaRDI QIDQ6169862
B. Jack Copeland, Unnamed Author
Publication date: 12 July 2023
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00283-022-10177-y
01A60: History of mathematics in the 20th century
03-03: History of mathematical logic and foundations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The mentor of Alan Turing: Max Newman (1897--1984) as a logician
- A science of operations. Machines, logic and the invention of programming.
- Reflections on Church's thesis
- Mechanism, mentalism, and metamathematics. An essay on finitism
- Working with Alan Turing
- An Unsolvable Problem of Elementary Number Theory
- Systems of Logic Based on Ordinals†
- Logical Approaches to Computational Barriers
- Hobson’s Conception of Definable Numbers