Diagonalization and Self-Reference |
|
| Author:
| Smullyan, Raymond M. |
| Series title: | Oxford Logic Guides |
| ISBN: | 978-0-19-853450-1 |
| Publication Date: | Oct 1994 |
| Publisher: | Oxford University Press, Incorporated
|
| Imprint: | Clarendon Press |
| Book Format: | Hardback |
| List Price: | USD $310.00 |
Book Description:
|
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.
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.