Games for Your Mind (eBook)

The History and Future of Logic Puzzles

Jason Rosenhouse (Autor)

eBook Download: PDF

2020
352 Seiten
Princeton University Press (Verlag)
978-0-691-20034-7 (ISBN)

Infos

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreationLogic 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 Godel'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 "e;Hardest Logic Puzzle Ever,"e; metapuzzles, paradoxes, and the logic puzzles in detective stories.

Produkt-Details

• Erscheint lt. Verlag: 24.11.2020
• Zusatzinfo: 35 b/w illus. 32 tables.
• Sprache: englisch
• Themenwelt: Sachbuch/Ratgeber ► Freizeit / Hobby ► Spielen / Raten
• Themenwelt: Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Themenwelt: Mathematik / Informatik ► Informatik ► Theorie / Studium
• Themenwelt: Mathematik / Informatik ► Mathematik ► Geschichte der Mathematik
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Addition • Ambiguity • Analogy • Aristotle • arithmetic • Arthur Conan Doyle • asymmetry • Axiom • Bertrand Russell • Categorical Proposition • C. Auguste Dupin • Certainty • Classical Logic • Coercive logic • Concept • consequent • consistency • Contradiction • Deductive Reasoning • diagram • Diagram (category theory) • Dialetheism • Dushanbe • Edgar Allan Poe • Explanation • Falsity • Fiction • formal language • formal system • Geometry • George Boolos • Gödel • Gödel's Incompleteness Theorems • incompleteness theorem • inductive reasoning • inference • Inquiry • Instance (computer science) • Instrumentalism • knights and knaves • Kurt Godel • Kyrgyzstan • Law of noncontradiction • Lewis Carroll • Liar paradox • linear algebra • Literature • Logic • Logical connective • logical consequence • Logical disjunction • logical form • logical pluralism • logical reasoning • Mathematical Logic • mathematician • Mathematics • math puzzles • math puzzles for adults • math puzzles for kids • Middle term • minutiae • Modus Ponens • narrative • natural language • Natural number • Negation • Notation • Obversion • Paradox • Paradox of the Heap • Peano axioms • Philosopher • Philosophical Logic • Philosophy • Poe • popular math • Port-Royal Logic • Predicate (mathematical logic) • premise • premises • Principle • Principle of bivalence • Probability • proof by contradiction • Proposition • Propositional Calculus • Prose • Prosecutor • Quantity • question puzzles • Raymond Smullyan • reason • Relevance • result • Rule of inference • Scientist • Self-reference • Sherlock Holmes • Short Story • sorites paradox • sorites puzzles • square of opposition • syllogism • symbolic logic • Term logic • Textbook • The Game of Logic • Theorem • theory • The Philosopher • The Principles of Mathematics • Thought • Three-Valued Logic • truth table • Truth value • Understanding • vagueness • Writing • ZaDiG • Zeno's paradoxes
• ISBN-10: 0-691-20034-3 / 0691200343
• ISBN-13: 978-0-691-20034-7 / 9780691200347