I am halfway through reading Raymond Smullyan: A puzzle guide to Gödel, after finding out about his recent death here: https://news.ycombinator.com/item?id=1362

I am halfway through reading Raymond Smullyan: A puzzle guide to Gödel, after finding out about his recent death here: https://news.ycombinator.com/item?id=13626221 https://news.ycombinator.com/item?id=13626221 . It explains Godel's incompleteness Theorems accurately to a layperson through a set of logical puzzles.