John von Neumann’s Discovery of the 2ndIncompleteness Theorem

DOI10.1080/01445340.2022.2137324MaRDI QIDQ6650610

Giambattista Formica

Publication date: 9 December 2024

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

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematische Grundlagen der Quantenmechanik.
• Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems
• Discussion on the foundation of mathematics
• Only Two Letters: The Correspondence between Herbrand and Gödel
• Some facts about Kurt Gödel
• Can Mathematics Be Proved Consistent?
• In the Shadow of Incompleteness: Hilbert and Gentzen
• The Great Formal Machinery Works

This page was built for publication: John von Neumann’s Discovery of the 2^ndIncompleteness Theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6650610)