Comment by tromp

This is the first time I read about his NPRNPR distillation of Gödel's proof (N=Not,P=Provable,R=Repeat). So clever. And so Smullyan.

I'll always remember his https://en.wikipedia.org/wiki/To_Mock_a_Mockingbird as a most delightful introduction to Combinatory Logic.