Описание: Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.
Автор: Smullyan, Raymond M. Название: First-Order Logic ISBN: 0486683702 ISBN-13(EAN): 9780486683706 Издательство: Dover Рейтинг: Цена: 1510 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in ""analytic"" or ""cut free"" methods. The focus is on the tableau point of view. Includes 144 illustrations.
Описание: Alice and her friends return for another romp through Wonderland and the Looking-Glass with these eighty-eight puzzles, paradoxes, and logic problems. Raymond M. Smullyan's characters speak and behave like the originals, and their puzzles abound in typical Carrollian word play, logic problems, and dark philosophical paradoxes. Isaac Asimov described this book as "amusing, entertaining, and surprisingly educational. And it might just send you back to reread "Alice."" Readers of all ages will delight in the charming stories and the wealth of ingenious puzzles. Written by a distinguished mathematician and creator of popular puzzle books, this volume requires no background in formal logic. The puzzles become progressively more complex, and complete solutions appear at the end. Puzzle authority Martin Gardner provides an Introduction to the text, which is enhanced by sixty charming illustrations. "An ingenious book," declared the "Boston Globe, " "magnificent for those who like conundrums, amusing for those who don't, and a tribute in itself to the genius of Lewis Carroll."
Описание: "The most original, most profound, and most humorous collection of recreational logic and math problems ever written." Martin Gardner, "Scientific American ""The value of the book lies in the wealth of ingenious puzzles. They afford amusement, vigorous exercise, and instruction." Willard Van Orman Quine, "The New York Times Book Review "If you're intrigued by puzzles and paradoxes, these 200 mind-bending logic puzzles, riddles, and diversions will thrill you with challenges to your powers of reason and common sense. Raymond M. Smullyan a celebrated mathematician, logician, magician, and author presents a logical labyrinth of more than 200 increasingly complex problems. The puzzles delve into Godel s undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Detailed solutions follow each puzzle."
Описание: These brand-new recreational logic puzzles provide entertaining variations on Godel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages. The two-part selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Godel's theorem. The first three chapters of Part II contain generalized Godel theorems. Symbolic logic is deferred until the last three chapters, which give explanations and examples of first-order arithmetic, Peano arithmetic, and a complete proof of Godel's celebrated result involving statements that cannot be proved or disproved. The book also includes a lively look at decision theory, better known as recursion theory, which plays a vital role in computer science. "
Описание: "Another scintillating collection of brilliant problems and paradoxes by the most entertaining logician and set theorist who ever lived." -- Martin Gardner. Inspired by the classic tale of a prisoner's dilemma, these whimsically themed challenges involve paradoxes about probability, time, and change; metapuzzles; and self-referentiality. Nineteen chapters advance in difficulty from relatively simple to highly complex.
Автор: Smullyan Raymond Название: Set Theory and the Continuum Problem ISBN: 0486474844 ISBN-13(EAN): 9780486474847 Издательство: Dover Рейтинг: Цена: 2200 р. Наличие на складе: Невозможна поставка.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru