Équipe Hypertextes et Textualité électronique
Laboratoire Communication et polique
TerminalfRessources terminologiques en langue française
Terminalf : page d'accueil
Les mémoires de terminologie : page d'accueil
Présentation des mémoires de terminologie
Visite guidée de la fiche de terminologie
Page d'accueil du mémoire
Interroger les termes traités dans ce mémoire
Français - AnglaisFiche complète du terme
Numération de Gödel
Méthode d'arithmétisation de la syntaxe qui consiste à associer un seul nombre à chaque signe d'un système formel.
(NADEAU Robert, Vocabulaire technique et analytique de l'épistémologie, Puf, 1999)
Langue : français
Catégorie grammaticale : loc.
Statut du terme en entrée : Langue spécialisée
Domaine : Philosophie analytique
Sous-domaine : Logique
Contexte : (…) on note "A" l'entier naturel associé à la formule A, son "numéro de Gödel". (DUBUCS Jacques, La logique et son histoire, Armand Colin, 1970, p.374)
Équivalent anglais : Gôdel-numbering
Retour à la page précédente.