--- Marqueur de fin de proposition
|
|
Un ensemble dénombrable de symboles : $ a 0 = + - * / etc...
Il est donc possible de numéroter ces symboles : 1 2 3 4 5 6 7 8 etc...
Un exemple de proposition : a+0=a$
a + 0 = a $
Le codage des symboles : 2 5 3 4 2 1 ------------
|
|
Les nombres premiers dans l'ordre : ------- 2 3 5 7 1 13 etc... |
(1 n'est pas un nombre premier) | |
| |
Le codage de la proposition : | 2 5 3 4 2 1 ------------
------- 2 * 3 * 5 * 7 * 1 * 13 = 458877919500
Rappel : la décomposition d'un nombre entier en facteurs premiers est unique à l'ordre près.
Ainsi, le nombre entier 458877919500 est associé de façon UNIQUE à la proposition "a+0=a" et inversement.
Le décodage est alors trivial :
JFC
www.lactamme.polytechnique.fr