Showing math.LOShow all
2 papers · 1 filter
math.LO2023
A proof of Gödel's incompleteness theorems using Chaitin's incompleteness theorem
David O. Zisselman
Gödel's first and second incompleteness theorems are corner stones of modern mathematics. In this article we present a new proof of these theorems for ZFC and theories containing Z…
math.LO2022
Numbers Extensions
David O. Zisselman
Over the course of the last 50 years, many questions in the field of computability were left surprisingly unanswered. One example is the question of vs . It could…