Definability and Computability - Yuri L. Ershov
-30% ar kodu BOOKS
Piegāde 17-23 darba dienu laikā
30 dienu atgriešanas politika
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, ... Pilns apraksts
Jums varētu patikt arī
TOP
Determined: The Science of Life Without Free Will
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Rise and Fall of the Dinosaurs: A New History of a Lost World
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Factfulness: Ten Reasons We're Wrong About the World--and Why Things Are Better Than You Think
Ola Rosling, Anna Rosling Rönnlund, Hans Rosling
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Biology: A Global Approach, Global Edition
Neil Campbell, Rebecca Orr, Lisa Urry, Peter Minorsky, Michael Cain, Jane Reece, Steven Wasserman
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Six Not-so-easy Pieces: Einstein's Relativity, Symmetry, and Space-Time
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Entangled Life: How Fungi Make Our Worlds, Change Our Minds and Shape Our Futures
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Light Eaters: How the Unseen World of Plant Intelligence Offers a New Understanding of Life on Earth
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Age of Alchemy: How Early Innovators Shaped Modern Chemistry
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Secrets of our DNA: How Genetics has Changed the World
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Janeway's Immunobiology
Leslie J. Berg, Kenneth Murphy, Casey Weaver
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
How to Solve it: A New Aspect of Mathematical Method
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Behave: The Biology of Humans at Our Best and Worst
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Why We Sleep: Unlocking the Power of Sleep and Dreams
-30% ar kodu BOOKS
Noliktavā
TOP
Why Machines Learn: The Elegant Maths Behind Modern AI
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Six Easy Pieces: Essentials of Physics Explained by Its Most Brilliant Teacher
Richard P. Feynman, Robert B. Leighton, Matthew Sands
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Rise and Reign of the Mammals: A New History, from the Shadow of the Dinosaurs to Us
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Learn Faster, Perform Better: A Musician's Guide to the Neuroscience of Practicing
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Brain That Changes Itself: Stories of Personal Triumph from the Frontiers of Brain Science
-30% ar kodu BOOKS
Piegādātāja noliktavā
Aprašymas
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.
Vairāk informācijas
| Autors | Yuri L. Ershov |
|---|---|
| Izdevējs | Springer US |
| Series | Siberian School of Algebra and Logic |
| Izlaides gads | 1996 |
| Vāka tips | Cietais vāks |
| EAN | 9780306110399 |