[HN Gopher] The Raymond Smullyan Society ___________________________________________________________________ The Raymond Smullyan Society Author : a4isms Score : 24 points Date : 2022-03-28 17:43 UTC (5 hours ago) (HTM) web link (www.raymondsmullyan.com) (TXT) w3m dump (www.raymondsmullyan.com) | draw_down wrote: | a4isms wrote: | The logician, concert pianist, Taoist, and magician Raymond | Smullyan has always been of interest to computer scientists. | Besides being a polymath, he had Feynman's knack for being able | to explain complex subjects in an accessible way. | | In Raymond's case, via puzzles that unfolded ideas in recursion, | infinity, Godel's theories, logic, and more. | | The Raymond Smullyan Society was formed to preserve his work, and | it has just launched this web site. | cafard wrote: | Nice. I recently bought a copy of his _First-Order Logic_ , which | is slim but dense. ___________________________________________________________________ (page generated 2022-03-28 23:00 UTC)