Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
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. Gödel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren¿t. The result is known as Gödel¿s first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?"
| Autorius: | Jan Von Plato |
| Serija: | Sources and Studies in the History of Mathematics and Physical Sciences |
| Leidėjas: | Springer Nature Switzerland |
| Išleidimo metai: | 2021 |
| Knygos puslapių skaičius: | 276 |
| ISBN-10: | 3030508781 |
| ISBN-13: | 9783030508784 |
| Formatas: | 235 x 155 x 16 mm. Knyga minkštu viršeliu |
| Kalba: | Anglų |
Parašykite atsiliepimą apie „Can Mathematics Be Proved Consistent?: Gödels Shorthand Notes & Lectures on Incompleteness“
