Vi bøger
Levering: 1 - 2 hverdage

Aspects of Incompleteness - Per (Goteborgs Universitet Lindstrom - Bog

Bag 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781107167926
  • Indbinding:
  • Hardback
  • Sideantal:
  • 142
  • Udgivet:
  • 2. Marts 2017
  • Størrelse:
  • 156x235x15 mm.
  • Vægt:
  • 300 g.
  • 2-3 uger.
  • 2. Juli 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af 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.

Brugerbedømmelser af Aspects of Incompleteness



Find lignende bøger
Bogen Aspects of Incompleteness findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.