Games for your mind the history and future of logic puzzles
Logic 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 in...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Princeton, New Jersey
Princeton University Press,
[2020]
|
| Subjects: | |
| Online Access: | EBSCOhost Перейти в каталог НБ ТГУ |
| LEADER | 04323cam a2200541 i 4500 | ||
|---|---|---|---|
| 001 | koha001012310 | ||
| 003 | OCoLC | ||
| 005 | 20250222065921.0 | ||
| 006 | m d | ||
| 007 | cr ||||||||||| | ||
| 008 | 200919s2020 njua ob 001 0 eng d | ||
| 035 | |a koha001012310 | ||
| 040 | |a EBLCP |b eng |e rda |c EBLCP |d UKAHL |d YDXIT |d OCLCO |d TEFOD |d MYG |d DEGRU |d TOH |d JSTOR |d OCLCF |d N$T |d IBI | ||
| 020 | |a 9780691200347 |q (electronic book) | ||
| 020 | |a 0691200343 |q (electronic book) | ||
| 020 | |z 9780691174075 |q (hardback) | ||
| 020 | |z 0691174075 |q (hardback) | ||
| 037 | |a 28D6C2BA-FD9E-421B-9BAD-2DC5A76AD254 |b OverDrive, Inc. |n http://www.overdrive.com | ||
| 037 | |a 22573/ctv11h5hw3 |b JSTOR | ||
| 050 | 4 | |a GV1493 |b .R67 2020eb | |
| 072 | 7 | |a MAT |x 018000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 025000 |2 bisacsh | |
| 072 | 7 | |a GAM |x 005000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 015000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 082 | 0 | 4 | |a 793.73 |2 23 |
| 049 | |a MAIN | ||
| 100 | 1 | |a Rosenhouse, Jason, |9 909316 | |
| 245 | 1 | 0 | |a Games for your mind |b the history and future of logic puzzles |c Jason Rosenhouse. |
| 246 | 1 | 0 | |a History and future of logic puzzles |
| 264 | 1 | |a Princeton, New Jersey |b Princeton University Press, |c [2020] | |
| 300 | |a 1 online resource (xiv, 333 pages) |b illustrations. | ||
| 504 | |a Includes bibliographical references (pages [319]-326) and index. | ||
| 588 | |a Description based on online resource; title from digital title page (viewed on November 20, 2020). | ||
| 505 | 0 | 0 | |t I. The Pain and Pleasure of Logic -- |t 1. Is Logic Boring and Pointless? -- |t 2. Logic Just for Fun -- |t II. Lewis Carroll and Aristotelian Logic -- |t 3. Aristotle's Syllogistic -- |t 4. The Empuzzlement of Aristotelian Logic -- |t 5. Sorites Puzzles -- |t 6. Carroll's Contributions to Mind -- |t III. Raymond Smullyan and Mathematical Logic -- |t 7. Liars and Truthtellers -- |t 8. From Aristotle to Russell -- |t 9. Formal Systems in Life and Math -- |t 10. The Empuzzlement of Gödel's Theorems -- |t 11. Question Puzzles -- |t IV. Puzzles Based on Nonclassical Logics -- |t 12. Should "Logics" Be a Word? -- |t 13. Many-Valued Knights and Knaves -- |t V. Miscellaneous Topics -- |t 14. The Saga of the Hardest Logic Puzzle Ever -- |t 15. Metapuzzles -- |t 16. Paradoxes -- |t 17. A Guide to Some Literary Logic Puzzles. |
| 520 | |a Logic 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. 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. | ||
| 653 | 0 | |a Logic puzzles. | |
| 653 | 0 | |a Logic puzzles |x History. | |
| 653 | 0 | |a Mathematical recreations. | |
| 653 | 7 | |a MATHEMATICS / Logic. |2 bisacsh | |
| 653 | 7 | |a Logic puzzles. |2 fast |0 (OCoLC)fst01002059 | |
| 655 | 0 | |a EBSCO eBooks |9 905790 | |
| 655 | 4 | |a Electronic books. |9 899821 | |
| 856 | 4 | 0 | |3 EBSCOhost |u https://www.lib.tsu.ru/limit/2023/EBSCO/2474277.pdf |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1012310 | ||
| 910 | |a EBSCO eBooks | ||
| 999 | |c 1012310 |d 1012310 | ||
| 039 | |||