Marknadens största urval
Snabb leverans
Om Aspects of Incompleteness

This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781107167926
  • Format:
  • Inbunden
  • Sidor:
  • 142
  • Utgiven:
  • 2. mars 2017
  • Mått:
  • 156x235x15 mm.
  • Vikt:
  • 300 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 27. november 2024

Beskrivning av Aspects of Incompleteness

This volume presents some of the main areas and results of general metamathematics. In addition to standard results of Goedel et al. on incompleteness, (non-)finite axiomatizability, and interpretability, the book contains a thorough treatment of partial conservativity and degrees of interpretability. The method of arithmetization also plays an important role.

Användarnas betyg av Aspects of Incompleteness



Hitta liknande böcker
Boken Aspects of Incompleteness finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.