Diagonalization and Self-reference

Front Cover
Clarendon Press, 1994 - Language Arts & Disciplines - 396 pages
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.

What people are saying - Write a review

We haven't found any reviews in the usual places.

About the author (1994)

Raymond M. Smullyan is at Indiana University.

Bibliographic information