Forventes på lager: 25-07-2020
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 a few mechanical rules.
| Forlag | Springer Nature Switzerland AG |
| Forfatter | Jan von Plato |
| Type | Bog |
| Format | Hardback |
| Sprog | Engelsk |
| Udgave | 2020 ed. |
| Udgivelsesdato | 25-07-2020 |
| Første udgivelsesår | 2020 |
| Serie | Sources and Studies in the History of Mathematics and Physical Sciences |
| Illustrationer | IX, 263 p. |
| Originalsprog | Switzerland |
| Sideantal | 263 |
| Indbinding | Hardback |
| Forlag | Springer Nature Switzerland AG |
| Sideoplysninger | 263 pages, IX, 263 p. |
| Mål | 241 x 164 x 22 |
| ISBN-13 / EAN-13 | 9783030508753 |