Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach

DOI10.1080/01445340.2020.1768461zbMath1512.03008OpenAlexW3036950782MaRDI QIDQ6098747

Tim Lethen

Publication date: 14 June 2023

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10138/331641

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Turing machines and related notions (03D10)

Related Items

GÖDEL ON MANY-VALUED LOGIC, KURT GÖDEL ON LOGICAL, THEOLOGICAL, AND PHYSICAL ANTINOMIES

Cites Work

• On Computable Numbers, with an Application to the Entscheidungsproblem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item