Can mathematics be proved consistent?: gödel's shorthand notes & lectures on incompleteness
Auteur :
von Plato, Jan
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030508784
Date de publication :
26 juil. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.