Histoire des mathématiques Concept
énumération de Gödel
Conceptfonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique
- domaine
- Logique mathématique
Énoncé
\mathrm{enc}(x_1,x_2,x_3,\dots,x_n) = 2^{x_1}\cdot 3^{x_2}\cdot 5^{x_3}\cdots p_n^{x_n}
Liens
- porte le nom de
Sources
- Wikidata CC0-1.0