Discussion utilisateur:Ericmillecamps/Brouillon
Récursivité inverse.
Résout le théorème de gödel , c'est à dire l’indécidabilité en informatique.
Le n terme on l'exprime par une équation, par exemple.
Le n-1 terme on l'exprime aussi par une équation.
si on prouve le n-1 terme c'est gagné;
si on ne le prouve pas et qu'on ne trouve pas de comte exemple c'est gagné, CQFD.
RQ les mathématiques sont in système formel.
sources: wikipedia
Démarrer une discussion sur Utilisateur:Ericmillecamps/Brouillon
Les pages de discussion sont l’endroit où diverses personnes peuvent discuter de la manière d’améliorer le contenu de Wikipédia. Vous pouvez utiliser cette page pour démarrer une discussion avec les autres utilisateurs sur la façon d’améliorer la page « Utilisateur:Ericmillecamps/Brouillon ».
