Can Mathematics Be Proved Consistent?

Available
0
StarStarStarStarStar
0Reviews
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 conta...
Read more
E-book
pdf
Price
49.99 £
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 conta...
Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783030508760
  • Publication Date: 24 Jul 2020
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM