Incompleteness and the halting problem

DOI10.1007/s11225-021-09945-2OpenAlexW3155458346MaRDI QIDQ2062219

Cristian S. Calude

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-021-09945-2

zbMATH Keywords

Gödel's incompleteness theoremsthe halting problem

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undefinability of truth. the problem of priority:tarski vs gödel
• The Surprise Examination Paradox and the Second Incompleteness Theorem
• Interlude: About the First Theorem
• Information-Theoretic Incompleteness

This page was built for publication: Incompleteness and the halting problem