RAYMOND M. SMULLYAN

M. SMULLYAN, RAYMOND Delicioso libro en el que el conocido lógico matemático Raymond Smullyan, autor de obras de gran éxito sobre paradojas lógicas y rompecabezas matemáticos, considerado por muchos como un nuevo Lewis Carroll, y reconocido tambien por sus sesudos trabajos sobre Godel y otros aspectos de la logica matematica, nos introduce en el arte del tao.

El bullicioso bosque de Curry El sociólogo de pájaros residente en el bosque planteó al inspector Craig su problema. "En este bosque", dijo el profesor, "ciertos pájaros cantan en determinados días. Me he propuesto averiguar que pajaros cantan en que dias a traves de una ley general, pero hasta hoy no he encontrado ese principio unificador. Lo unico que he podido hallar son cuatro leyes que me dan una informacion parcial, pero no veo como puedo determinar a partir de ellas que pajaros cantan en que dias. Tiene que haber una sola ley general que unifique estas cuatro. ¿Podra usted ayudarme?" "Hare lo que pueda", dijo Craig. "¿Cuales son las cuatro leyes?" "Bien, tenemos aqui un pajaro muy especial P. No se su especie pero eso no interesa. Lo importante es que dados dos pajaros cualesquiera x e y -iguales o diferentes- valen las siguientes leyes: Ley 1: si y canta un dia dado, entonces Pxy canta ese dia Ley 2: si x no canta un dia dado, entonces Pxy canta ese dia Ley 3: si el pajaro x y el pajaro Pxy cantan ambos un dia dado, entonces y canta ese dia Ley 4: para todo pajaro x, existe un pajaro y tal que y canta en los dias en que Pxy canta y solo en esos dias ¿Podra el inspector Craig descubrir cual es esa gran ley? (Solucion en pagina 23)

Raymond M. Smullyan

Smullyan, Raymond,El sociólogo de pájaros residente en el bosque planteó al inspector Craig su problema. "En este bosque", dijo el profesor, "ciertos pájaros cantan en determinados días. Me he propuesto averiguar que pajaros cantan en que dias a traves de una ley general, pero hasta hoy no he encontrado ese principio unificador. Lo unico que he podido hallar son cuatro leyes que me dan una informacion parcial, pero no veo como puedo determinar a partir de ellas que pajaros cantan en que dias. Tiene que haber una sola ley general que unifique estas cuatro. ¿Podra usted ayudarme?" "Hare lo que pueda", dijo Craig. "¿Cuales son las cuatro leyes?" "Bien, tenemos aqui un pajaro muy especial P. No se su especie pero eso no interesa. Lo importante es que dados dos pajaros cualesquiera x e y iguales o diferentes- valen las siguientes leyes: Ley 1: si y canta un dia dado, entonces Pxy canta ese dia Ley 2: si x no canta un dia dado, entonces Pxy canta ese dia Ley 3: si el pajaro x y el pajaro Pxy cantan ambos un dia dado, entonces y canta ese dia Ley 4: para todo pajaro x, existe un pajaro y tal que y canta en los dias en que Pxy canta y solo en esos dias ¿Podra el inspector Craig descubrir cual es esa gran ley?

Raymond M. Smullyan

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 : "Daccord, mais je tinterdis

In this entertaining and challenging new collection of logic puzzles, Raymond Smullyanauthor of What Is the Name of This Book? And The Lady or the Tiger?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. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle (a puzzle about a puzzle), in which Inspector Craig of Scotland Yard gets involved in a search of the Fountain of Youth on the Island of Knights and Knaves. In the second and larger section, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest andthanks to Godels famous theoremthe final revelation. To Mock a Mockingbird will delight all puzzle loversthe curious neophytes as well as the serious students of logic, mathematics, or computer science.

Forever Undecided is the most challenging yet of Raymond Smullyans puzzle collections. It is, at the same time, an introductioningenious, instructive, entertainingto Godels famous theorems. With all the wit and charm that have delighted readers of his previous books, Smullyan transports us once again to that magical island where knights always tell the truth and knaves always lie. Here we meet a new and amazing array of characters, visitors to the island, seeking to determine the natives identities. Among them: the census-taker McGregor; a philosophical-logician in search of his flighty bird-wife, Oona; and a regiment of Reasoners (timid ones, normal ones, conceited, modest, and peculiar ones) armed with the rules of propositional logic (if X is true, then so is Y). By following the Reasoners through brain-tingling exercises and adventuresincluding journeys into the other possible worlds of Kripke semanticseven the most illogical of us come to understand Godels two great theorems on incompleteness and undecidability, some of their philosophical and mathematical implications, and why we, like Godel himself, must remain Forever Undecided!