|
Titre :
|
Definability in arithmetics and computability
|
|
Auteurs :
|
Christian Michaux, Éditeur scientifique ;
UNIVERSITÉ CATHOLIQUE DE LOUVAIN, Éditeur scientifique
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Louvain-la-Neuve (Belgique) : Academia-Bruylant, 2000
|
|
Collection :
|
Cahier du Centre de logique, num. 11
|
|
ISBN/ISSN/EAN :
|
978-2-87209-577-3
|
|
Format :
|
114 p. / 22 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
513 (Arithmétique, Chiffres, Nombres)
|
|
Mots-clés:
|
fonctions calculables
;
arithmétique
;
définissabilité, théorie de la (logique mathématique)
|
|
Résumé :
|
Thèmes : relecture des travaux de Semenov sur certaines extensions de l'arithmétique de Presburger; nouvelle preuve d'un résultat sur l'indécidabilité du premier ordre des naturels avec l'addition; développement de la notion de fonctions calculables par une machine de Turing sur un ensemble donné de mots; extensions de l'arithmétique de Presburger liées aux systèmes de numération de Bertrand.
|
