Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01349321n
Noun Concept
Categories: Logique mathématique
FR
codage de Gödel  énumération de Gödel  numérotation de Gödel  nombre de gödel
FR
En logique mathématique, un codage de Gödel est une fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique, appelé son code de Gödel, ou numéro de Gödel. Wikipedia
Definitions
Relations
Sources
FR
En logique mathématique, un codage de Gödel est une fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique, appelé son code de Gödel, ou numéro de Gödel. Wikipedia
terme Wikidata
IS A
codage de la mémoire
PART OF
logique mathématique
HAS KIND
EN
Gödel numbering for sequences
MODEL ITEM
un
neuf
NAMED AFTER
Kurt Gödel
Wikipedia
FR
codage de Gödel
Wikidata
FR
énumération de Gödel
Wikipedia Redirections
FR
numérotation de Gödel
Wikipedia Translations
FR
nombre de gödel, numérotation de gödel

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License