Per Lindström

Aspects of Incompleteness

• Gebundenes Buch

Produktbeschreibung

This volume presents some of the main areas and results of general metamathematics, including the results of Gödel et al. on incompleteness.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 144
• Erscheinungstermin: 15. Februar 2017
• Englisch
• Abmessung: 235mm x 157mm x 13mm
• Gewicht: 372g
• ISBN-13: 9781107167926
• ISBN-10: 1107167922
• Artikelnr.: 47772167

Autorenporträt

Per Lindström works in the Department of Philosophy at Göteborgs Universitet, Sweden.

Inhaltsangabe

Preface
Introduction
1. Preliminaries
2. Incompleteness
3. Numerations of r.e. sets
4. Axiomatizations
5. Partial conservativity
6. Interpretability
7. Degrees of interpretabilty
8. Generations
References
Index
Notation.