Logical undecidabilities made easy

MaRDI QIDQ3601404zbMATH OpenFDO

Authors Daniel M. Leivant

Publication date 10 February 2009

zbMATH Keywords

undecidability

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Undecidability without arithmetization
• Decidability without mathematics
• A simple character string proof of the ``true but unprovable version of Gödel's first incompleteness theorem
• Gödel incompleteness theorems and the limits of their applicability. I
• scientific article; zbMATH DE number 3922637

Cited in

(7)

• Undecidability without arithmetization
• Undecidability and incompleteness results in automata theory
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• A simple character string proof of the ``true but unprovable version of Gödel's first incompleteness theorem
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Decidability without mathematics

This page was built for publication: Logical undecidabilities made easy

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