To Mock a MockingbirdTo Mock a Mockingbird

The author of Forever Undecided, Raymond Smullyan 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.

Author: Raymond M. Smullyan

Publisher: Oxford University Press, USA

ISBN: 0192801422


Page: 258

View: 325

The author of Forever Undecided, Raymond Smullyan 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.

To Mock a Mocking BirdTo Mock a Mocking Bird

In this entertaining and challenging new collection of logic puzzles, Raymond Smullyan—author of What Is the Name of This Book?

Author: Raymond M. Smullyan

Publisher: Knopf

ISBN: 9780307819796


Page: 256

View: 827

In this entertaining and challenging new collection of logic puzzles, Raymond Smullyan—author 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 and—thanks to Gödel’s famous theorem—the final revelation. To Mock a Mockingbird will delight all puzzle lovers—the curious neophytes as well as the serious students of logic, mathematics, or computer science.

Games for Your MindGames for Your Mind

Smullyan, R. (1983). 5000 B.C. and Other Philosophical Fantasies: Puzzles and Paradoxes, Riddles and Reasonings. New York: St. Martin's Press. Smullyan, R. (1985). To Mock a Mockingbird, and Other Logic Puzzles. New York: Knopf.

Author: Jason Rosenhouse

Publisher: Princeton University Press

ISBN: 9780691242026


Page: 348

View: 608

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.

Raymond Smullyan on Self ReferenceRaymond Smullyan on Self Reference

Smullyan, R. M. (1982c). The lady or the Tiger?. Alfred A: Knopf. Smullyan, R. M. (1983a). 5000 B.C. — and other philosophical fantasies. St. Martin's Press. Smullyan, R. M. (1985d). To mock a mockingbird. Alfred A: Knopf.

Author: Melvin Fitting

Publisher: Springer

ISBN: 9783319687322


Page: 195

View: 711

This book collects, for the first time in one volume, contributions honoring Professor Raymond Smullyan’s work on self-reference. It serves not only as a tribute to one of the great thinkers in logic, but also as a celebration of self-reference in general, to be enjoyed by all lovers of this field. Raymond Smullyan, mathematician, philosopher, musician and inventor of logic puzzles, made a lasting impact on the study of mathematical logic; accordingly, this book spans the many personalities through which Professor Smullyan operated, offering extensions and re-evaluations of his academic work on self-reference, applying self-referential logic to art and nature, and lastly, offering new puzzles designed to communicate otherwise esoteric concepts in mathematical logic, in the manner for which Professor Smullyan was so well known. This book is suitable for students, scholars and logicians who are interested in learning more about Raymond Smullyan's work and life.

Mathemagics A Magical Journey Through Advanced Mathematics Connecting More Than 60 Magic Tricks To High level MathMathemagics A Magical Journey Through Advanced Mathematics Connecting More Than 60 Magic Tricks To High level Math

The Riddle of Dracula and Other Logical Puzzles (R. M. Smullyan & Smullyan, 1978), To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic (R. M. Smullyan, 2000), and This Book.

Author: Ricardo V Teixeira

Publisher: World Scientific

ISBN: 9789811214523


Page: 408

View: 101

Teixeira and Park present over 60 different magic tricks while introducing students to high-level math areas. Readers will learn really interesting ideas that will better prepare them for future courses and help them finding areas they might want to study deeper. And as a 'side effect' students will learn amazing magic tricks, century-old secrets, and details from famous magicians and mathematicians.The material was written to quickly present key concepts in several mathematical areas in direct way. Little or no proficiency in math is assumed. In fact, students do not require any Calculus knowledge. And since chapters are almost independent from each other, this book also work as introduction to several other courses.Topics covered include mathematical proofs, probability, abstract algebra, linear algebra, mathematical computing, number theory, coding theory, geometry, topology, real analysis, numerical analysis and history of math.

Logical LabyrinthsLogical Labyrinths

[25] R. M. Smullyan. To Mock a Mockingbird and Other Logic Puzzles. New York: Knopf, 1985. [26] R. M. Smullyan and M. Fitting. Set Theory and the Continuum Problem. Oxford, UK: Oxford University Press, 1996. [27] A. Tarski.

Author: Raymond Smullyan

Publisher: CRC Press

ISBN: 9781439865378


Page: 275

View: 817

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the au

Logic for ApplicationsLogic for Applications

Smullyan, R., To Mock a Mockingbird and Other Logic Puzzles, Knopf, NY, 1985. One of Smullyan's puzzle books. A rigorous, but unconventionally expressed, treatment of self-reference in combinatory logic. 4.4 Modal Logic van Benthem, J., ...

Author: Anil Nerode

Publisher: Springer Science & Business Media

ISBN: 9781468402117


Page: 365

View: 840

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the recent dramatic growth in the applications of logic to computer science. Thus our choice of topics has been heavily influenced by such applications. Of course, we cover the basic traditional topics - syntax, semantics, soundness, completeness and compactness - as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much of our book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic, especially in its application to Logic Programming and PROLOG. We deal extensively with the mathematical foundations of all three of these subjects. In addition, we include two chapters on nonclassical logic- modal and intuitionistic - that are becoming increasingly important in computer science. We develop the basic material on the syntax and se mantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method introduced for classical logic. We indicate how it can easily be adapted to various other special types of modal log ics. A number of more advanced topics (including nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.

Combinatory LogicCombinatory Logic

Raymond M. Smullyan. Theory of Formal Systems. Princeton University Press, Princeton, NJ, revised edition, 1962. 137. Raymond M. Smullyan. To Mock a Mockingbird. And Other Logic Puzzles Including an Amazing Adventure in Combinatory ...

Author: Katalin Bimbo

Publisher: CRC Press

ISBN: 9781439800010


Page: 357

View: 841

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last four decades. Using a reader-friendly style, the auth

Self ReferenceSelf Reference

Smullyan, Raymond, "Diagonalization and Self-Reference. ... Smullyan, Raymond, and Hilary Putnam, "Exact Separation of Recursively Enumerable Sets Within Theories," PROCEEDINGS OF THE AMERICAN MATHEMATICAL ... TO MOCK A MOCKINGBIRD.

Author: S.J. Bartlett

Publisher: Springer Science & Business Media

ISBN: 9789400935518


Page: 368

View: 906

Self-reference, although a topic studied by some philosophers and known to a number of other disciplines, has received comparatively little explicit attention. For the most part the focus of studies of self-reference has been on its logical and linguistic aspects, with perhaps disproportionate emphasis placed on the reflexive paradoxes. The eight-volume Macmillan Encyclopedia of Philosophy, for example, does not contain a single entry in its index under "self-reference", and in connection with "reflexivity" mentions only "relations", "classes", and "sets". Yet, in this volume, the introductory essay identifies some 75 varieties and occurrences of self-reference in a wide range of disciplines, and the bibliography contains more than 1,200 citations to English language works about reflexivity. The contributed papers investigate a number of forms and applications of self-reference, and examine some of the challenges posed by its difficult temperament. The editors hope that readers of this volume will gain a richer sense of the sti11largely unexplored frontiers of reflexivity, and of the indispensability of reflexive concepts and methods to foundational inquiries in philosophy, logic, language, and into the freedom, personality and intelligence of persons.