Did Turing stand on Gödel's shoulders?
From MaRDI portal
Publication:6169862
DOI10.1007/s00283-022-10177-yOpenAlexW4281891198MaRDI 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
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
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
This page was built for publication: Did Turing stand on Gödel's shoulders?