Fixed points and self-reference
It is shown how Gödel's famous diagonal argument and a generalization of the recursion theorem are derivable from a common construation. The abstract fixed point theorem of this article is independent of both metamathematics and recursion theory and is perfectly comprehensible to the non-specia...
Saved in:
Main Author: | Raymond M. Smullyan |
---|---|
Format: | Article |
Language: | English |
Published: |
Wiley
1984-01-01
|
Series: | International Journal of Mathematics and Mathematical Sciences |
Subjects: | |
Online Access: | http://dx.doi.org/10.1155/S0161171284000296 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
A fixed point theorem for non-self set-valued mappings
by: B. E. Rhoades
Published: (1997-01-01) -
A common fixed point theorem for two sequences of self-mappings
by: Takeshi Taniguchi
Published: (1991-01-01) -
Some fixed point iteration procedures
by: B. E. Rhoades
Published: (1991-01-01) -
Common fixed points for family of mappings
by: D. E. Anderson, et al.
Published: (1984-01-01) -
Fixed point theorems for non-self maps I
by: Troy L. Hicks, et al.
Published: (1994-01-01)