Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10 5/3/83 based; site hounx.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!houxm!hounx!kort From: kort@hounx.UUCP (B.KORT) Newsgroups: net.puzzle,net.math Subject: Re: Logic puzzle creation query Message-ID: <435@hounx.UUCP> Date: Sat, 7-Dec-85 09:46:54 EST Article-I.D.: hounx.435 Posted: Sat Dec 7 09:46:54 1985 Date-Received: Sat, 7-Dec-85 21:14:48 EST References: <4253@topaz.RUTGERS.EDU> Organization: AT&T Bell Labs, Holmdel NJ Lines: 19 Xref: watmath net.puzzle:1232 net.math:2606 For those of you who are looking for logic puzzles presented systematically, I refer you to the logic puzzle books of Raymond Smullyan. He is a Professor of Mathematics, Logic, and Philosophy at the University of Indiana. His books include _Alice in Puzzleland_, _What is the Name of This Book: The Riddle of Dracula and Other Puzzles_ and _To Mock a Mockingbird_. (That last book is an ornithological approach to combinatorial logic, the logic of detective mysteries and jigsaw puzzles.) Smullyan is one of the 6 greatest living mathematicians. He is enormously entertaining. He is also one of the greatest exponents of the Socratic Method that I have ever encountered. Many of his puzzles are presented in the form of dialogues (after Socrates and Lewis Carroll). Those of you who are also into Hofstadter will find the link between them in _The Mind's I_. When the world seems hopelessly irrational, vexing, and perplexing, it feels good to spend time with minds like Smullyan and Hofstadter. Enjoy. --Barry Kort