Siirry suoraan sisältöön
Can Mathematics Be Proved Consistent?
Tallenna

Can Mathematics Be Proved Consistent?

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
9783030508784
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
26.7.2021
Sivumäärä
263