S. Salehi
Research Institute for Fundamental Sciences, University of Tabriz, P.O. Box 51666--16471, Tabriz, Iran.
[ 1 ] - Diagonal arguments and fixed points
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 fi...
نویسندگان همکار