Games for Your Mind: The History and Future of Logic Puzzles

نگاهی پر جنب و جوش و جذاب به پازل های منطقی و نقش آنها در ریاضیات، فلسفه و سرگرمی
پازل های منطقی برای اولین بار توسط لوئیس کارول در اواخر قرن نوزدهم به عموم معرفی شد. محبوب از آن زمان بازی‌هایی مانند سودوکو و Mastermind فعالیت‌های تفریحی سرگرم‌کننده و جذابی هستند، اما در منطق ریاضی نیز پایه‌های عمیق مشترکی دارند و ارزش تحقیق فکری جدی را دارند. بازی‌ها برای ذهن شما تاریخچه و آینده پازل‌های منطقی را بررسی می‌کند و در عین حال شما را قادر می‌سازد مهارت خود را در برابر انواع معماها آزمایش کنید.
در این کتاب آموزنده و سرگرم‌کننده، جیسون روزنهاوس با معرفی خوانندگان به منطق و منطق پازل می کند و در ادامه تاریخ غنی این پازل ها را فاش می کند. او نشان می‌دهد که چگونه پازل‌های کارول، منطق ارسطویی را به عنوان یک بازی برای کودکان ارائه می‌کنند، در عین حال به کار علمی او در مورد منطق نیز اطلاع می‌دهند. او نشان می‌دهد که چگونه یکی دیگر از پیشگامان پازل‌های منطقی، ریموند اسمولیان، از پازل‌های کلاسیک درباره دروغ‌گویان و حقیقت‌گویان استفاده کرد تا قضایای کورت گودل را نشان دهد و پرسش‌های عمیق منطق ریاضی را روشن کند. Rosenhouse سپس دیدگاه جدیدی برای آینده پازل های منطقی مبتنی بر منطق غیرکلاسیک ارائه می دهد که امروزه در علوم کامپیوتر و استدلال خودکار برای دستکاری مجموعه های بزرگ و گاه متناقض داده ها استفاده می شود.
شامل تعداد زیادی از پازل های نمونه از ساده تا این کتاب پر جنب و جوش و جذاب، بسیار چالش برانگیز، بسیاری از مبتکرانه ترین معماهایی که تا به حال ابداع شده اند، از جمله "سخت ترین معمای منطقی تا کنون"، متا پازل ها، پارادوکس ها، و پازل های منطقی در داستان های پلیسی را گرد هم می آورد.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreation
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.
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.