1939936
9780198534501
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.Smullyan, Raymond is the author of 'Diagonalization and Self-Reference', published 1994 under ISBN 9780198534501 and ISBN 0198534507.
[read more]