Diagonalization and Self-reference
| Author | : Raymond M. Smullyan |
| Publisher | : Oxford Logic Guides |
| Total Pages | : 0 |
| Release | : 1994 |
| ISBN-10 | : 0198534507 |
| ISBN-13 | : 9780198534501 |
| Rating | : 4/5 (501 Downloads) |
Book Synopsis Diagonalization and Self-reference by : Raymond M. Smullyan
Download or read book Diagonalization and Self-reference written by Raymond M. Smullyan and published by Oxford Logic Guides. This book was released on 1994 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel'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 firstchapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.
