Sökt på: Sökresultat
totalt 8 träffar
Magic Garden Of George B And Other Logic Puzzles, The
Raymond Smullyan presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all! But there is indeed a solution — moreover, one that …
The Mathematics of Various Entertaining Subjects
The history of mathematics is filled with major breakthroughs resulting from solutions to recreational problems. Problems of interest to gamblers led to the modern theory of …
Logical Labyrinths
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 …
Gödel's Incompleteness Theorems
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are …
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan
This is an exciting if not rambling account of events of Raymond Smullyan's four lives — as a mathematical logician, musician, magician, and author — together with thoughts that …
Recursion Theory for Metamathematics
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano …
Beginner's Further Guide To Mathematical Logic, A
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late …
Diagonalization and Self-reference
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and …