₡13.700
Gödel Without (Too Many) Tears
Peter Smith
Gödel Without (Too Many) Tears
Gödel Without (Too Many) Tears
Peter Smith
Descripción
Kurt Gödel's famous First Incompleteness Theorem shows that, for any sufficiently rich theory that contains enough arithmetic, there are some arithmetical truths the theory can express but cannot prove. How is this remarkable result established? This short book explains. It also discusses Gödel's Second Incompleteness Theorem. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.
The first edition was based on much-downloaded lecture notes for a course given in Cambridge for many years. This second edition is expanded and extensively revised.
Detalles
| Formato | Tapa dura |
| Número de Páginas | 156 |
| Lenguaje | Inglés |
| Editorial | Logic Matters |
| Fecha de Publicación | 2022-12-01 |
| Dimensiones | 9.61" x 6.69" x 0.44" pulgadas |
| Número de Edición | 2 |
| Letra Grande | No |
| Con Ilustraciones | No |
Acerca del Autor
Smith, Peter
Until he retired, Peter Smith was a Senior Lecturer at the University of Cambridge.Garantía & Otros
| Garantía: | 30 dias por defectos de fabrica |
| Peso: | 0.454 kg |
| SKU: | 9781916906341 |
| Publicado en Unimart.com: | 09/11/23 |
| Feedback: |
¿Viste un precio más bajo?
Queremos saber.
|
