Games for Your Mind: The History and Future of Logic Puzzles
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 recreationa...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Princeton, NJ
Princeton University Press
[2020]
|
| Schlagworte: | |
| Online-Zugang: | DE-1043 DE-1046 DE-858 DE-Aug4 DE-898 DE-859 DE-860 DE-706 DE-739 URL des Erstveröffentlichers |
| Zusammenfassung: | 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 |
| Beschreibung: | Description based on online resource; title from PDF title page (publisher's Web site, viewed 25. Nov 2020) |
| Beschreibung: | 1 online resource (352 pages) 35 b/w illus. 32 tables |
| ISBN: | 9780691200347 |
| DOI: | 10.1515/9780691200347 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047046039 | ||
| 003 | DE-604 | ||
| 005 | 20241113 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201204s2020 xx a||| o|||| 00||| eng d | ||
| 020 | |a 9780691200347 |9 978-0-691-20034-7 | ||
| 024 | 7 | |a 10.1515/9780691200347 |2 doi | |
| 035 | |a (ZDB-23-DGG)9780691200347 | ||
| 035 | |a (OCoLC)1225881490 | ||
| 035 | |a (DE-599)BVBBV047046039 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-Aug4 |a DE-859 |a DE-860 |a DE-739 |a DE-1043 |a DE-858 |a DE-898 |a DE-706 | ||
| 082 | 0 | |a 793.73 |2 23 | |
| 100 | 1 | |a Rosenhouse, Jason |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Games for Your Mind |b The History and Future of Logic Puzzles |c Jason Rosenhouse |
| 264 | 1 | |a Princeton, NJ |b Princeton University Press |c [2020] | |
| 264 | 4 | |c © 2020 | |
| 300 | |a 1 online resource (352 pages) |b 35 b/w illus. 32 tables | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 25. Nov 2020) | ||
| 520 | |a 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 | ||
| 546 | |a In English | ||
| 650 | 4 | |a Aristotle | |
| 650 | 4 | |a Arthur Conan Doyle | |
| 650 | 4 | |a Bertrand Russell | |
| 650 | 4 | |a C. Auguste Dupin | |
| 650 | 4 | |a Edgar Allan Poe | |
| 650 | 4 | |a George Boolos | |
| 650 | 4 | |a Gödel | |
| 650 | 4 | |a Kurt Godel | |
| 650 | 4 | |a Poe | |
| 650 | 4 | |a Sherlock Holmes | |
| 650 | 4 | |a Symbolic Logic | |
| 650 | 4 | |a The Game of Logic | |
| 650 | 4 | |a formal system | |
| 650 | 4 | |a incompleteness theorem | |
| 650 | 4 | |a knights and knaves | |
| 650 | 4 | |a logical pluralism | |
| 650 | 4 | |a math puzzles for adults | |
| 650 | 4 | |a math puzzles for kids | |
| 650 | 4 | |a math puzzles | |
| 650 | 4 | |a paradox of the heap | |
| 650 | 4 | |a philosophical logic | |
| 650 | 4 | |a popular math | |
| 650 | 4 | |a question puzzles | |
| 650 | 4 | |a sorites paradox | |
| 650 | 4 | |a sorites puzzles | |
| 650 | 7 | |a MATHEMATICS / Logic |2 bisacsh | |
| 650 | 4 | |a Logic puzzles | |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9780691200347 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-23-DGG | ||
| 912 | |a ZDB-23-DMA | ||
| 940 | 1 | |q ZDB-23-DMA20 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032453443 | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-1043 |p ZDB-23-DGG |q FAB_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-1046 |p ZDB-23-DGG |q FAW_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-858 |p ZDB-23-DGG |q FCO_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-Aug4 |p ZDB-23-DGG |q FHA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-898 |p ZDB-23-DMA |q ZDB-23-DMA20 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-859 |p ZDB-23-DGG |q FKE_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-860 |p ZDB-23-DGG |q FLA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-706 |p ZDB-23-DMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9780691200347?locatt=mode:legacy |l DE-739 |p ZDB-23-DGG |q UPA_PDA_DGG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1815619879961624576 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Rosenhouse, Jason |
| author_facet | Rosenhouse, Jason |
| author_role | aut |
| author_sort | Rosenhouse, Jason |
| author_variant | j r jr |
| building | Verbundindex |
| bvnumber | BV047046039 |
| collection | ZDB-23-DGG ZDB-23-DMA |
| ctrlnum | (ZDB-23-DGG)9780691200347 (OCoLC)1225881490 (DE-599)BVBBV047046039 |
| dewey-full | 793.73 |
| dewey-hundreds | 700 - The arts |
| dewey-ones | 793 - Indoor games and amusements |
| dewey-raw | 793.73 |
| dewey-search | 793.73 |
| dewey-sort | 3793.73 |
| dewey-tens | 790 - Recreational and performing arts |
| discipline | Sport |
| discipline_str_mv | Sport |
| doi_str_mv | 10.1515/9780691200347 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV047046039</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241113</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201204s2020 xx a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780691200347</subfield><subfield code="9">978-0-691-20034-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9780691200347</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9780691200347</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1225881490</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047046039</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">793.73</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rosenhouse, Jason</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Games for Your Mind</subfield><subfield code="b">The History and Future of Logic Puzzles</subfield><subfield code="c">Jason Rosenhouse</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Princeton, NJ</subfield><subfield code="b">Princeton University Press</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (352 pages)</subfield><subfield code="b">35 b/w illus. 32 tables</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 25. Nov 2020)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In English</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Aristotle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arthur Conan Doyle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bertrand Russell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">C. Auguste Dupin</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Edgar Allan Poe</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">George Boolos</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Gödel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Kurt Godel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Poe</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sherlock Holmes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">The Game of Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">formal system</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">incompleteness theorem</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">knights and knaves</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logical pluralism</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">math puzzles for adults</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">math puzzles for kids</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">math puzzles</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">paradox of the heap</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">philosophical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">popular math</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">question puzzles</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sorites paradox</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">sorites puzzles</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic puzzles</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9780691200347</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-23-DMA20</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032453443</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-1043</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAB_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAW_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-858</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FCO_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FHA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-898</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="q">ZDB-23-DMA20</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FKE_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-860</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FLA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-23-DMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9780691200347?locatt=mode:legacy</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UPA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047046039 |
| illustrated | Illustrated |
| index_date | 2024-07-03T16:07:04Z |
| indexdate | 2024-11-13T15:00:47Z |
| institution | BVB |
| isbn | 9780691200347 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032453443 |
| oclc_num | 1225881490 |
| open_access_boolean | |
| owner | DE-1046 DE-Aug4 DE-859 DE-860 DE-739 DE-1043 DE-858 DE-898 DE-BY-UBR DE-706 |
| owner_facet | DE-1046 DE-Aug4 DE-859 DE-860 DE-739 DE-1043 DE-858 DE-898 DE-BY-UBR DE-706 |
| physical | 1 online resource (352 pages) 35 b/w illus. 32 tables |
| psigel | ZDB-23-DGG ZDB-23-DMA ZDB-23-DMA20 ZDB-23-DGG FAB_PDA_DGG ZDB-23-DGG FAW_PDA_DGG ZDB-23-DGG FCO_PDA_DGG ZDB-23-DGG FHA_PDA_DGG ZDB-23-DMA ZDB-23-DMA20 ZDB-23-DGG FKE_PDA_DGG ZDB-23-DGG FLA_PDA_DGG ZDB-23-DGG UPA_PDA_DGG |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Princeton University Press |
| record_format | marc |
| spelling | Rosenhouse, Jason Verfasser aut Games for Your Mind The History and Future of Logic Puzzles Jason Rosenhouse Princeton, NJ Princeton University Press [2020] © 2020 1 online resource (352 pages) 35 b/w illus. 32 tables txt rdacontent c rdamedia cr rdacarrier Description based on online resource; title from PDF title page (publisher's Web site, viewed 25. Nov 2020) 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 In English 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 MATHEMATICS / Logic bisacsh Logic puzzles https://doi.org/10.1515/9780691200347 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Rosenhouse, Jason Games for Your Mind The History and Future of Logic Puzzles 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 MATHEMATICS / Logic bisacsh Logic puzzles |
| title | Games for Your Mind The History and Future of Logic Puzzles |
| title_auth | Games for Your Mind The History and Future of Logic Puzzles |
| title_exact_search | Games for Your Mind The History and Future of Logic Puzzles |
| title_exact_search_txtP | Games for Your Mind The History and Future of Logic Puzzles |
| title_full | Games for Your Mind The History and Future of Logic Puzzles Jason Rosenhouse |
| title_fullStr | Games for Your Mind The History and Future of Logic Puzzles Jason Rosenhouse |
| title_full_unstemmed | Games for Your Mind The History and Future of Logic Puzzles Jason Rosenhouse |
| title_short | Games for Your Mind |
| title_sort | games for your mind the history and future of logic puzzles |
| title_sub | The History and Future of Logic Puzzles |
| topic | 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 MATHEMATICS / Logic bisacsh Logic puzzles |
| topic_facet | 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 MATHEMATICS / Logic Logic puzzles |
| url | https://doi.org/10.1515/9780691200347 |
| work_keys_str_mv | AT rosenhousejason gamesforyourmindthehistoryandfutureoflogicpuzzles |