|
Showing 1 - 12 of
12 matches in All Departments
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 author introduces the readers to
informal reasoning preparing them for the formal study of symbolic
logic, from propositional logic to first-order logic, a subject
that has many important applications to philosophy, mathematics,
and computer science. The book includes a journey through the
amazing labyrinths of infinity, which have stirred the imagination
of mankind as much, if not more, than any other subject.
Combining stories of great writers and philosophers with quotations
and riddles, this text for first courses in mathematical logic
examines problems related to proofs, propositional logic and
first-order logic, undecidability, and other topics.
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. 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 in
which Inspector Craig of Scotland Yard gets involved in a search
for the Fountain of Youth on the Island of Knights and Knaves. In
the second part of To Mock a Mockingbird, 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 Godel's famous theorem - the final revelation.
These logic puzzles provide entertaining variations on Godel's
incompleteness theorems, offering ingenious challenges related to
infinity, truth and provability, undecidability, and other
concepts. No background in formal logic necessary.
Un conjunto ameno de problemas, pasatiempos y enigmas que
introducen, en forma de acertijos, todos los conceptos basicos de
la logica.
Un divertido libro de juegos y acertijos logicos que se diferencia
de la mayaria de las obras de este genero en que los problemas que
presenta como amenos pasatiempos no son intrascendentes, pues
introducen al lector en importantes cuestiones de la logica, la
teoria la teoria de conjuntos y la teoria de la computabilidad.
|
|