DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL’S PARADOX AND GÖDEL’S INCOMPLETENESS THEOREM
By formulating a property on a class of relations on the set of natural numbers, we make an attempt to provide an alternative proof to the insolvability of Hilbert’s tenth problem, Gödel’s incompleteness theorem, Tarski’s definability theorem and Turing’s halting problem.
Gödel’s incompleteness theorem, Hilbert’s tenth problem.
