Tallenna
Can Mathematics Be Proved Consistent?
Kirjailija:
sidottu, 2020
englanti
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.
- Alaotsikko
- Gödel's Shorthand Notes & Lectures on Incompleteness
- Kirjailija
- Jan von Plato
- Painos
- 2020 ed.
- ISBN
- 9783030508753
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 25.7.2020
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 263
