Diagonalization and self-reference
Auteur :
Smullyan, Raymond M.
Éditeur :
Oxford University Press
ISBN :
9780198534501
Date de publication :
1 sept. 1994
Dimensions :
24,2 x 15,8 x 2,6 cm
Poids :
778 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.