Items related to Diagonalization and Self-Reference: 27 (Oxford Logic...

Diagonalization and Self-Reference: 27 (Oxford Logic Guides) - Hardcover

Smullyan, Raymond M.

 
9780198534501: Diagonalization and Self-Reference: 27 (Oxford Logic Guides)

Synopsis

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.

"synopsis" may belong to another edition of this title.

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


"About this title" may belong to another edition of this title.