Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A lively and engaging look at logic puzzles and their role in recreation, mathematics, and philosophyLogic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and Mastermind are fun and engrossing recreational activities, but they also share deep foundations in mathematical logic and are worthy of serious intellectual inquiry. Games for Your Mind explores the history and future of logic puzzles while enabling you to test your skill against a variety of puzzles yourself.In this informative and entertaining book, Jason Rosenhouse begins by introducing readers to logic and logic puzzles and goes on to reveal the rich history of these puzzles. He shows how Carroll's puzzles presented Aristotelian logic as a game for children, yet also informed his scholarly work on logic. He reveals how another pioneer of logic puzzles, Raymond Smullyan, drew on classic puzzles about liars and truthtellers to illustrate Kurt Gödel's theorems and illuminate profound questions in mathematical logic. Rosenhouse then presents a new vision for the future of logic puzzles based on nonclassical logic, which is used today in computer science and automated reasoning to manipulate large and sometimes contradictory sets of data.Featuring a wealth of sample puzzles ranging from simple to extremely challenging, this lively and engaging book brings together many of the most ingenious puzzles ever devised, including the "Hardest Logic Puzzle Ever," metapuzzles, paradoxes, and the logic puzzles in detective stories.

Logic puzzles. --- Mathematical recreations --- Data processing. --- Aristotle. --- Arthur Conan Doyle. --- Bertrand Russell. --- C. Auguste Dupin. --- Edgar Allan Poe. --- George Boolos. --- Gödel. --- Kurt Godel. --- Poe. --- Sherlock Holmes. --- Symbolic Logic. --- The Game of Logic. --- formal system. --- incompleteness theorem. --- knights and knaves. --- logical pluralism. --- math puzzles for adults. --- math puzzles for kids. --- math puzzles. --- paradox of the heap. --- philosophical logic. --- popular math. --- question puzzles. --- sorites paradox. --- sorites puzzles.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Detective and mystery stories --- Criminal investigation in literature. --- Logic in literature. --- Semiotics. --- Private investigators in literature. --- Semeiotics --- Semiology (Linguistics) --- Semantics --- Signs and symbols --- Structuralism (Literary analysis) --- History and criticism. --- Doyle, Arthur Conan, --- Poe, Edgar Allan, --- Peirce, Charles S. --- Holmes, Sherlock. --- هولمز، شرلوك --- Hūlmz, Sharlūk --- Holms, Şerlok --- Холмс, Шэрлак --- Kholms, Shėrlak --- Холмс, Шерлок --- Kholms, Sherlok --- Χολμς, Σέρλοκ --- Cholms, Serlok --- הולמס, שרלוק --- Holms, Sherloḳ --- Holmss, Šerloks --- Holmsas, Šerlokas --- Holmes, Shirl --- シャーロック・ホームズ --- ホームズ, シャーロック --- Hōmuzu, Shārokku --- Huolmsos, Šerluoks --- Holmsos, Šerloks --- 歇洛克·福尔摩斯 --- 福尔摩斯, 歇洛克 --- Fuermosi, Xieluoke --- Doyle, Arthur Conan --- ドイル, アーサー・コナン --- Conan Doyle, Arthur --- Peirce, Charles Sanders, --- Peirce, C. S. --- Pirs, Charlz S., --- Peirce, Charles Santiago Sanders, --- Pʻo-erh-ssu, --- Pʻo-erh-ssu, Chʻa-li-ssu, --- Purs, Charls, --- Пърс, Чарлс, --- Chaersi Sangdesi Piersi, --- 查尔斯·桑德斯·皮尔斯, --- Po, Edgar, --- Boy, Ētkar, --- Poe, E. A. --- Poë, Edgard, --- Pui, ʼAggā ʼAyʻlaṅʻ, --- Pō, Eḍgār Ālen, --- Po, Edhar, --- Poe, Edgar Allen, --- Perry, Edgar A., --- По, Эдгар Аллан, --- По, Эдгар, --- פאו, עדגאר עלען --- פאו, עדגאר עלען, --- פא, אדגאר אלאן --- פא, עדגאר --- פא, עדגאר עלען, --- פו, אדגר --- פו, אדגר אלן --- פו, אדגר אלן, --- アランポオ, --- 愛倫坡, --- Po, Ailun, --- Quarles, --- Characters --- Sherlock Holmes. --- Auguste Dupin. --- Criminal investigation in literature --- Logic in literature --- Private investigators in literature --- Semiotics --- History and criticism --- Holmes, Sherlock (Fictitious character) --- Sherlock Holmes --- Auguste Dupin --- Peirce, Charles Sanders --- Poe, Edgar Allan --- Poe, Edgar Allen --- Detective and mystery stories - History and criticism --- Peirce, Charles Sanders, - Sir, - 1839-1914 - Characters - Sherlock Holmes --- Poe, Edgar Allan, - 1809-1849 - Characters - Auguste Dupin --- Peirce, Charles Sanders, - 1839-1914 --- Conan Doyle, Arthur, --- Conan Doyle, --- Doil, A. Ḳonan, --- Doil, Kʻonan, --- Dojl, Artur Konan, --- Dojl, Konan, --- D̲oyl, Konan, --- Doyle, A. Conan --- Doyle, Artur Conan, --- Doyle, Arturo Conan, --- Doyle, Conan, --- Kʻonan Doil, --- Konan Dojl, --- Ta-li, Kʻo-nan, --- Ṭāyil, Ārtar Kōn̲an̲, --- Конан-Дойль, Артур, --- Дойль, Артур Конан, --- קאנאן דאיל, --- דאיל, א. קאנאן, --- דאיל, קאנאן, א. --- דויל, א. קונן --- דויל, ארתור קונן --- -דויל, ארתור קונן, --- アーサー·コナン·ドイル, --- コナンドイル, --- 柯南道尔, --- Peirce, Charles Sanders, - Sir, - 1839-1914 --- Poe, Edgar Allan, - 1809-1849