Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics
This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Gödel's understanding of the situa...
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing
2022.
|
| Edición: | 1st ed |
| Colección: | Springer eBooks.
Vienna Circle Institute Library ; 6. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b47188558*spi |
| Sumario: | This volume contains English translations of Gödel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Gödel's understanding of the situation of foundational research in mathematics after his great discovery, the incompleteness theorem of 1931. It is also a source for his views on his logical predecessors, from Leibniz, Frege, and Russell to his own times. Gödel's "own book on foundations," as he called it, is essential reading for logicians and philosophers interested in foundations. Furthermore, it opens a new chapter to the life and achievement of one of the icons of 20th century science and philosophy. |
|---|---|
| Descripción Física: | IX, 214 páginas, 1 ilustraciones |
| Formato: | Forma de acceso: World Wide Web. |
