Can Mathematics Be Proved Consistent?
Jan von Plato
Springer Nature Switzerland AG, 2020
73,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783030508753
- ISBN-10
- 3030508757
- Publisher
- Springer Nature Switzerland AG
- Year
- 2020
- Publication date
- 2020-07-25
- Pages
- 263
- Dimensions
- 241x164x22
- Weight
- 576