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 lo

In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the d

Publisher description

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a trib

Self-reference, although a topic studied by some philosophers and known to a number of other disciplines, has received comparatively little explicit attention.