Théorie de la récursivité pour la métamathématique / Raymond M. Smullyan,... ; trad. de l'anglais par Ph. Ithier,... [ Livre]
Langue: Français ; de l'oeuvre originale, Anglais.Publication : Paris, Milan, Barcelone : Masson, 1995Description : XI-163 p. ; 24 cmISBN: 2225848602.Collection: Logique mathématiques informatique, 0995-2179, 16Classification: F 4 1 Logique mathématiqueRésumé: Sommaire 0. Prérequis I. Enumérabilité récursive et récursivité II. Indécidabilité et inséparabilité récursive III. Indexation IV. Ensembles génératifs et systèmes créatifs V. Double générativité et inséparabilité complète VI. Systèmes universels et doublement universels VII. Retour au théorème de Shepherdson VIII. Théorèmes de la récursion IX. Théorèmes de la récursion double et de la récursion avec symétrie X. Productivité simple et productivité double XI. Trois thèmes particuliers XII. Gödélisation uniforme.Sujet - Nom commun: Récursivité, Théorie de la | Métamathématique | Godel, théorie de | Décidabilité (logique mathématique) | Complétude, Théorème de| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Magasin (archives) | F 4 1 SMU (Browse shelf) | Available | F 4 1 Logique mathématique | 00001326 |
Fait suite à : "Les théorèmes d'incomplétude de Gödel", du même auteur
Bibliogr. p. 158-159. Index
Sommaire
0. Prérequis
I. Enumérabilité récursive et récursivité
II. Indécidabilité et inséparabilité récursive
III. Indexation
IV. Ensembles génératifs et systèmes créatifs
V. Double générativité et inséparabilité complète
VI. Systèmes universels et doublement universels
VII. Retour au théorème de Shepherdson
VIII. Théorèmes de la récursion
IX. Théorèmes de la récursion double et de la récursion avec symétrie
X. Productivité simple et productivité double
XI. Trois thèmes particuliers
XII. Gödélisation uniforme