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