Wow! eBook
Diagonalization and Self-Reference: 27
Author(s): Raymond M. Smullyan (Author)
- Publisher: Clarendon Press
- Publication Date: 1 Sept. 1994
- Edition: Illustrated
- Language: English
- Print length: 416 pages
- ISBN-10: 0198534507
- ISBN-13: 9780198534501
Book Description
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.
Editorial Reviews
Review
“The book is devoted to a rather difficult topic; its style, however, makes most of its parts digestible, sometimes even enjoyable.” — Mathematical Reviews
“Smullyan goes right to the essence of Godel’s argument and its subsequent extensions. He thereby achieves a simplicity that will reach out to the general reader even as it will delight the expert.” —Choice
“Exhibit[s] the hallmarks of Smullyan’s style. . .Accessible to beginners, yet present[s] material of interest to specialists.”–Modern Logic
“A highly original approach.”–Journal of Symbolic Logic
