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)                                                                                    
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
                                                                                                                        
 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.