Aspects of Incompleteness
Lecture Notes in Logic 10
161 pages, parution le 21/01/2004
(2eme édition)
Résumé
This thoroughly revised second edition of a classic book on the main ideas and results of general meta-mathematics contains new results and simplified proofs, as well as an up to date bibliography. In addition to the standard results of Godel and others on incompleteness, (non) finite axiomatizability, interpretability, etc.., it contains a thorough treatment of partial conservativity and degrees of interpretability. The reader should be familiar with the widely used method of arithmetization and with the elements of recursion theory.
Sommaire
- Introduction
- Preliminaries
- Incompleteness
- Numerous of r.e. sets
- Axiomatizations
- Partial Conservativity
- Interpretability
- Degrees of interpretability
- Generalizations
- References
Voir tout
Replier
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | AK Peters |
| Auteur(s) | Per Lindstrom |
| Parution | 21/01/2004 |
| Édition | 2eme édition |
| Nb. de pages | 161 |
| Format | 16,5 x 23,5 |
| Couverture | Broché |
| Poids | 255g |
| Intérieur | Noir et Blanc |
| EAN13 | 9781568811734 |
| ISBN13 | 978-1-56881-173-4 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
