Logical labyrinths
by Raymond M. Smullyan · first published 2009
2mentions
2recommended by
2HN commenters
2014–2019first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…Midnight by Terry Pratchett -- It's Discworld. Go read them. NOW. And read A Hat Full of Sky in the middle. Then there's been a lot of textbooks I've been reading, which I won't list. Though... Logical Labyrinths by Raymond Smullyan -- dense, and fun, a graduate-level intro textbook to first-order logic disguised as a logic textbook.
on “Ask HN: What is HN reading?” ↗…'Elementary Formal Systems' is my favorite presentation of computability, and there's a lot of really deep stuff in there about the interaction between incompleteness, uncomputability, and fixed-points. Also, Logical Labyrinths is a pretty great textbook on formal logic. The first half is in the form of one of his puzzle books, introducing notions and building intuitions, while the second half builds off of them to provide a…
on “The Entertainer: In Praise of Raymond Smullyan” ↗