Au début, les énigmes vous paraîtront plutôt simples, sans danger... pour tout dire stimulantes. Dès lors, le piège se refermera. Pris au jeu, vous perdrez vite votre assurance condescendante, et la folie vous guettera. Folie raisonnante, folie circulaire, folie obsessionnelle : qui ment, qui ne ment pas ? Qui est fou, qui ne l'est ? Folie du doute, folie de la persécution : qui est éveillé, qui rêve ? Qui est qui ? Puis, quand du jeu vous serez passé au métajeu, vous vous installerez dans une bienheureuse folie douce. Vous saurez.
Un jour, un collègue invite Raymond Smullyan à dîner en précisant " Mon fils sera ravi de faire ta connaissance car il est passionné par tes livres d'énigmes ! " Smullyan " D'accord, mais je t'interdis de Lui dire que je suis mathématicien ! " En apprenti sorcier des mathématiques, Raymond Smullyan avance masqué. Avec ce recueil d'énigmes stimulantes et Ludiques, best-seller international, iL guide Le lecteur dans Le monde étrange de La logique, sans jamais se départir de son humour et de sa fantaisie. Attention, en vous plongeant dans ce Livre, vous risquez d'y perdre la tête !
The paperback reprint of Smullyan's most successful book of puzzles--a mind-bending, pleasurable romp through the world of logic. For all ages and all levels of difficulty, these puzzles range from those that can be solved in minutes to those that will beguile for hours.
Here -- from philosopher/logician/puzzlemaker Raymond Smullyan -- are fifty elegant, witty, and altogether unique "chess mysteries." In each problem the solver has to deduce certain events in a game's past. For On what square was the White queen captured? or, Is the White queen promoted or original?Since these problems involve the same sort of logical reasoning that lies at the core of the Sherlock Holmes stories, Raymond Smullyan has aptly set each one within its own Holmes-Watson dialogue. In each case Holmes, by his remarkable powers of deduction, is able to demonstrate to his awed admirers precisely what must have happened, move by move, at the "scene of the crime" -- the chess table. For what the missing piece is; what square it should be on; whether or not either side can castle.In the second half, through a series of progressively more difficult (self-contained) chess problems, Holmes, with the reader's help, solves a mystery and a double murder -- perpetrated, of course, by Moriarty. And at the end of the book are ten bonus problems from Moriarty himself (four of them composed before the age of nine!).Chess Mysteries of Sherlock Holmes is Smullyan's challenging and witty romp through the royal game.
In this entertaining and challenging collection of logic puzzles, Raymond
Smullyan-author of Forever Undecided-continues to delight and astonish us with
his gift for making available, in the thoroughly pleasurable form of puzzles,
some of the most important mathematical thinking of our time. schovat popis
A lucid, elegant, and complete survey of set theory, this three-part treatment explores axiomatic set theory, the consistency of the continuum hypothesis, and forcing and independence results. 1996 edition.
"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."--Amazon.com
“The most entertaining logician and set theorist who ever lived” (Martin Gardner) gives us an encore to The Lady or the Tiger?-a fiendishly clever, utterly captivating new collection of 225 brainteasers, puzzles, and paradoxes.
Honorable knights, lying knaves, and other fanciful characters populate this unusual survey of the principles underlying the works of Georg Cantor. Created by a renowned mathematician, these engaging puzzles apply logical precepts to issues of infinity, probability, time, and change. They require a strong mathematics background and feature complete solutions.
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here.After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness.Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties.Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning.Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field.
