Aller au contenu

Discussion utilisateur:Ericmillecamps/Brouillon

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.

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

Démarrer une discussion