Recursion Theory for Metamathematics

Raymond M. Smullyan delves into the intricate world of recursion theory, presenting a captivating exploration that stands as a follow-up to his earlier work on Gödel's Incompleteness Theorems. Through a thoughtful and engaging narrative, Smullyan invites readers to consider the profound implications of recursion in the broader context of metamathematics.

With a unique blend of analytical rigor and playful wit, he guides both novices and seasoned mathematicians on an intellectual journey that challenges conventional thinking. His insights not only unravel the complexities of logical frameworks but also provoke deeper questions about the nature of mathematical truth and the limitations of formal systems. This work promises to enrich the reader's understanding and inspire further contemplation in the field.