On Formally Undecidable Propositions of Principia Mathematica and Related Systems
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
  • Išparduota
First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
0
  • Autorius: Kurt Gödel
  • Leidėjas:
  • Metai: 1992
  • Puslapiai: 80
  • ISBN-10: 0486669807
  • ISBN-13: 9780486669809
  • Formatas: 13.7 x 20.2 x 0.7 cm, minkšti viršeliai
  • Kalba: Anglų

On Formally Undecidable Propositions of Principia Mathematica and Related Systems | knygos.lt

Atsiliepimai

(4.50 Goodreads įvertinimas)

Aprašymas

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

Išparduota

Turi egzempliorių? Parduok!


First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
5
0%
4
0%
3
0%
2
0%
1
0%