[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)