DIAGONALIZATION EXHIBITED IN THE LIAR PARADOX, RUSSELL'S PARADOX AND GODEL'S INCOMPLETENESS THEOREM

被引：0

作者：

Ahmed, Tarek Sayed ^{[1
]}

Ossman, Omar ^{[1
]}

机构：

[1] Cairo Univ, Dept Math, Fac Sci, Giza, Egypt

来源：

JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS | 2020年 / 47卷 / 02期

关键词：

diagonalization; Liar paradox; Russell's paradox; Godel's incompleteness theorem; Hilbert's tenth problem; Turing's halting problem;

D O I：

10.17654/NT047020217

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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, Godel's incompleteness theorem, Tarski's definability theorem and Turing's halting problem.

引用

页码：217 / 233

页数：17

共 9 条

[1] Ahmed Tarek Sayed, 2010, P 2 UND MATH RES SUM
[2] Davis Martin, 1982, COMPUTABILITY UNSOLV
[3] Davis Martin, 2009, P C 90 BIRTH CEL R S
[4] HILBERTS TENTH PROBLEM FOR QUADRATIC RINGS
DENEF, J
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1975, 48 (01) : 214 - 220
[5] Enderton Herbert B., 2006, MATH INTRO LOGIC
[6] Godel Hofstader, 1979, HOFSTADER GODEL ESCH
[7] Lawvere F.W., 2006, Reprints in Theory and Applications of Categories, P1
[8] Matiyasevich Yuri V., 1996, P SEM I RECH ENS MAT
[9] A universal approach to self-referential paradoxes, incompleteness and fixed points
Yanofsky, NS
[J]. BULLETIN OF SYMBOLIC LOGIC, 2003, 9 (03) : 362 - 386

← 1 →