3 papers
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…
cs.CG2021
TSP on manifolds
David Zisselman
In this paper, we present a new approach of creating PTAS to the TSP problems by defining a bounded-curvature surface embedded spaces. Using this definition we prove: - A bounded-c…