Nota : please, click inside the following rectangle in order to access the next page [cliquez à l'intérieur du rectangle ci-dessous afin de passer à la page suivante].

                                                        --- 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.          
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
 JFC                                                                                                                    
 www.lactamme.polytechnique.fr                                                                                          



[Go back to AVirtualMachineForExploringSpaceTimeAndBeyond [Retour à AVirtualMachineForExploringSpaceTimeAndBeyond]]
[Site Map, Help and Search [Plan du Site, Aide et Recherche]]
[Mail [Courrier]]


Copyright (c) Jean-François Colonna, 2020.
Copyright (c) CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / Ecole Polytechnique, 2020.