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

(Bog, Hardback, Engelsk)
Forfatter: Jan von Plato



Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer Nature Switzerland AG
Forfatter Jan von Plato
Type Bog
Format Hardback
Sprog Engelsk
Udgave 2020 ed.
Udgivelsesdato 25-07-2020
Første udgivelsesår 2020
Serie Sources and Studies in the History of Mathematics and Physical Sciences
Illustrationer IX, 263 p.
Originalsprog Switzerland
Sideantal 263
Indbinding Hardback
Forlag Springer Nature Switzerland AG
Sideoplysninger 263 pages, IX, 263 p.
Mål 241 x 164 x 22
ISBN-13 / EAN-13 9783030508753