Utilisateur:Ericmillecamps/Brouillon
Cette page est un brouillon appartenant à Ericmillecamps
Conseils de rédaction
- → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
- → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.
Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :
- Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
- Indiquez les éléments démontrant la notoriété du sujet (aide).
- Liez chaque fait présenté à une source de qualité (quelles sources – comment les insérer).
- Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
- Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).
- → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.
Changez ce texte pour votre brouillon.
Récursivité inverse
résout le théorème de Gödel c'est a 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 prouvé
si on ne le prouve pas, et qu'on ne trouve pas de contre exemple : la preuve est faite
les mathématique sont in système formel
.