Kalmár and Péter: Undecidability as a Consequence of Incompleteness

TLDR: The only available document of Laszlo Kalmar and Peter Rozsa's joint work is Kalmar's sketch of the proof in his, and a paper is assembled from Kalmar’s manuscripts on this issue.

Abstract: Laszlo Kalmar and Peter Rozsa “proved that the existence of (...) undecidable problems follows from Godel’s Theorem on relatively undecidable problems” ([6], p. vii). Unfortunately, the only available document of their joint work is Kalmar’s sketch of the proof in his [3]. In the following, I assemble a paper from Kalmar’s manuscripts on this issue.