Diagonal arguments and fixed points

Document Type: Research Paper

Authors

1 Department of Mathematical Sciences‎, ‎Tarbiat Modares University‎, ‎P.O‎. ‎Box 14115--134‎, ‎Tehran‎, ‎Iran.

2 Research Institute for Fundamental Sciences‎, ‎University of Tabriz‎, ‎P.O‎. ‎Box 51666--16471‎, ‎Tabriz‎, ‎Iran‎.

Abstract

‎A universal schema for diagonalization was popularized by N.S‎. ‎Yanofsky (2003)‎, ‎based on a pioneering work of F.W‎. ‎Lawvere (1969)‎, ‎in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function‎. ‎It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema‎. ‎Here‎, ‎we fit more theorems in the universal‎
‎schema of diagonalization‎, ‎such as Euclid's proof for the infinitude of the primes and new proofs of G.~Boolos (1997) for Cantor's theorem on the non-equinumerosity of a set with its powerset‎. ‎Then‎, ‎in Linear Temporal Logic‎, ‎we show the non-existence of a fixed-point in this logic whose proof resembles the argument of Yablo's paradox (1985‎, ‎1993)‎. ‎Thus‎, ‎Yablo's paradox turns for the first time into a genuine mathematico-logical theorem in the framework of Linear Temporal Logic‎. ‎Again the diagonal schema of the paper is used in this proof; and it is also shown that G.~Priest's inclosure schema (1997) can fit in our universal diagonal/fixed-point schema‎. ‎We also show the existence of dominating (Ackermann-like) functions (which dominate a given countable set of functions‎, ‎such as primitive recursive functions) in the schema.

Keywords

Main Subjects


P. du Bois-Reymond, Sur la grandeur relative des infinis des fonctions, Annali di Matematica Pura ed Applicata (1870) 338--353.

P. du Bois-Reymond, Theoreme general concernant la grandeur relative des infinis des fonctions et de leurs derivees, J. Reine Angew. Math. 74 (1872) 294--304.

G. Boolos, Constructing Cantorian counterexamples, J. Philos. Logic 26 (1997), no. 3, 237--239. Diagonal arguments and fixed points 1088

O. Bueno and M. Colyvan, Paradox without satisfaction, Analysis (Oxford) 63 (2003), no. 2, 152--156.

C. Cieslinski, and R. Urbaniak, Godelizing the Yablo sequence, J. Philos. Logic 42 (2013), no. 5, 679--695.

R. L. Epstein and W. A. Carnielli, Computability: Computable Functions, Logic, and the Foundations of Mathematics, Advanced Reasoning Forum, 3rd edition, 2008.

H. Gaifman, Naming and diagonalization, from Cantor to Godel to Kleene, Log. J. IGPL 14 (2006), no. 5, 709--728.

P. Hajek and P. Pudlak, Metamathematics of First-Order Arithmetic, Perspectives in Mathematical Logic 3, Springer-Verlag, Berlin, 1998.

A. Kanamori and D. Pincus, Does GCH imply AC locally? In: Paul Erdos and His Mathematics, II (Budapest, 1999), pp. 413--426, Bolyai Soc. Math. Stud. 11, Jnos Bolyai Math. Soc. Budapest, 2002.

F. Kroger and S. Merz, Temporal Logic and State Systems, Springer-Verlag, 2008.

F.W. Lawvere, Diagonal arguments and cartesian closed categories, in: Category Theory, Homology Theory and their Applications, II (Battelle Institute Conference, Seattle, Wash. 1968 Vol. 2) pp. 134--145, Springer, Berlin, 1969.

G. Leach-Krouse, Yablifying the Rosser sentence, J. Philos. Logic 43 (2014), no. 5, 827--834.

A. Pnueli, The temporal logic of programs, in: 18th Annual Symposium on Foundations of Computer Science (Providence, RI, 1977), pp. 46--57, IEEE Comput. Sci. Long Beach, Calif. 1977.

G. Priest, Yablo's paradox, Analysis (Oxford) 57 (1997), no. 4, 236--242.

N. Raja, Yet another proof of Cantor's theorem, in: J.-Y. Beziau et. al. (eds.) Dimensions of Logical Concepts, pp. 209--217, Colecao CLE 54, 2009.

S. Yablo, Truth and reection, J. Philos. Logic 14 (1985), no. 3, 297--349.

S. Yablo, Paradox without self-reference, Analysis (Oxford) 53 (1993), no. 4, 251--252.

N. S.Yanofsky, A universal approach to self-referential paradoxes, incompleteness and fixed points, Bull. Symb. Log. (2003), no. 3, 362--386.

 


Volume 43, Issue 5
September and October 2017
Pages 1073-1088
  • Receive Date: 01 November 2015
  • Revise Date: 09 April 2016
  • Accept Date: 09 April 2016