In this informative and entertaining book, Jason Rosenhouse begins by introducing listeners 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.
-
Creators
-
Publisher
-
Release date
November 24, 2020 -
Formats
-
OverDrive Listen audiobook
- ISBN: 9781705248652
- File size: 376759 KB
- Duration: 13:04:54
-
-
Languages
- English
Why is availability limited?
×Availability can change throughout the month based on the library's budget. You can still place a hold on the title, and your hold will be automatically filled as soon as the title is available again.
The Kindle Book format for this title is not supported on:
×Read-along ebook
×The OverDrive Read format of this ebook has professional narration that plays while you read in your browser. Learn more here.