Raymond Smullyan on Self Reference, Melvin Fitting; Brian Rayman

Автор: Smullyan, Raymond
Название: To Mock a Mockingbird
ISBN: 0192801422 ISBN-13(EAN): 9780192801425
Издательство: Oxford Academ
Рейтинг:
Цена: 2058.00 р.
Наличие на складе: Ожидается поступление.

Описание: 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.

Автор: Smullyan Raymond M
Название: Beginner`S Further Guide To Mathematical Logic, A
ISBN: 9814725722 ISBN-13(EAN): 9789814725729
Издательство: World Scientific Publishing
Рейтинг:
Цена: 3168.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: '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 great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.

Автор: Smullyan Raymond
Название: The Magic Garden of George B and Other Logic Puzzles
ISBN: 9814678554 ISBN-13(EAN): 9789814678551
Издательство: World Scientific Publishing
Рейтинг:
Цена: 3802.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all!

Автор: Smullyan, Raymond M.
Название: Godel`s incompleteness theorems
ISBN: 0195046722 ISBN-13(EAN): 9780195046724
Издательство: Oxford Academ
Цена: 41184.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.

Автор: Smullyan Raymond M.
Название: The Magic Garden of George B and Other Logic Puzzles
ISBN: 9814675059 ISBN-13(EAN): 9789814675055
Издательство: World Scientific Publishing
Рейтинг:
Цена: 7603.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The author presents a bombshell puzzle so startling that it seems incredible that there could be any solution at all!

Автор: Smullyan Raymond M
Название: Beginner`S Further Guide To Mathematical Logic, A
ISBN: 9814730998 ISBN-13(EAN): 9789814730990
Издательство: World Scientific Publishing
Рейтинг:
Цена: 8870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: '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 great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on G del's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on formal systems, recursion theory and metamathematical applications in a general setting. The concluding five chapters are on the beautiful subject of combinatory logic, which is not only intriguing in its own right, but has important applications to computer science. Argonne National Laboratory is especially involved in these applications, and I am proud to say that its members have found use for some of my results in combinatory logic.This book does not cover such important subjects as set theory, model theory, proof theory, and modern developments in recursion theory, but the reader, after studying this volume, will be amply prepared for the study of these more advanced topics.