Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness
Kurt Gödel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of...
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing
2020.
|
| Edición: | 1st ed |
| Colección: | Springer eBooks.
Sources and Studies in the History of Mathematics and Physical Sciences ; |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b43269874*spi |
