A. Karimi
Department of Mathematical Sciences, Tarbiat Modares University, P.O. Box 14115--134, Tehran, 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...
نویسندگان همکار