Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History

DOI10.1080/01445340.2021.1976052MaRDI QIDQ6650261

Saul A. Kripke

Publication date: 6 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) First-order arithmetic and fragments (03F30) 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?)
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.
• An outline of set theory
• The decision problem for exponential diophantine equations
• Rapidly growing Ramsey functions
• Handbook of proof theory
• Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
• Accessible Independence Results for Peano Arithmetic
• A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
• Goodstein’s Theorem Revisited
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• On the restricted ordinal theorem
• The consistency of arithmetics

This page was built for publication: Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History

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