Can Mathematics Be Proved Consistent? : Godel's Shorthand Notes & Lectures on Incompleteness PDF
by Jan von Plato
Part of the Sources and Studies in the History of Mathematics and Physical Sciences series
- Information
Description
Kurt Godel (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. Godel 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 Godel'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?"
Information
-
Download Now
- Format:PDF
- Publisher:Springer International Publishing
- Publication Date:24/07/2020
- Category:
- ISBN:9783030508760
Other Formats
- Paperback / softback from £37.28
Information
-
Download Now
- Format:PDF
- Publisher:Springer International Publishing
- Publication Date:24/07/2020
- Category:
- ISBN:9783030508760