Théorie de la récursivité pour la métamathématique / Raymond M. Smullyan,... ; trad. de l'anglais par Ph. Ithier,... [ Livre]

Auteur principal: Smullyan, Raymond M., 1919-....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

Powered by Koha