Diagonalization and Self-Reference (Oxford Logic Guides) [Hardcover]

Raymond M. Smullyan (Author)

Book Description

ISBN-10: 0198534507 | ISBN-13: 978-0198534501 | Publication Date: October 13, 1994

This book presents a systematic, unified treatment of fixed points as they occur in G�del's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

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

About the Author

Raymond M. Smullyan is at Indiana University.

Product Details

• Hardcover: 416 pages
• Publisher: Oxford University Press, USA (October 13, 1994)
• Language: English
• ISBN-10: 0198534507
• ISBN-13: 978-0198534501
• Product Dimensions: 9.4 x 6.3 x 1.1 inches
• Shipping Weight: 1.6 pounds (View shipping rates and policies)
• Amazon Best Sellers Rank: #3,031,087 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.