Incompleteness Theorems

MaRDI QIDQ40326swMATHFDO

Authors Lawrence C. Paulson

Publication date 17 November 2013

Official website https://www.isa-afp.org/entries/Incompleteness.html

Cites work

• A machine-assisted proof of Gödel's incompleteness theorems for the theory of hereditarily finite sets
• A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
• Addition and multiplication of sets
• An introduction to formal logic
• Finite sets and Gödel's incompleteness theorems
• Unnamed Publication
• Unnamed Publication
• Solution of a problem of Leon Henkin
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.

Cited in

(7)

• Formalization of the resolution calculus for first-order logic
• A mechanised proof of Gödel's incompleteness theorems using Nominal Isabelle
• theoremprover-museum
• FinFuns
• Knuth Bendix Orders
• Abstract Soundness
• Incredible Proof Machine

This page was built for software: Incompleteness Theorems