Can Mathematics Be Proved Consistent?: Goedel s Shorthand Notes & Lectures on Incompleteness

Can Mathematics Be Proved Consistent?: Godels 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 a few mechanical rules. Autor: Jan von Plato Wydawnictwo: Springer Rok wydania: 2020 Okładka: twarda Liczba stron: 263 Wymiary: 24.1 x 16.4 x 2.2 cm Ilustracje: IX, 263 p. Język: angielski ISBN: 9783030508753