Discussion:Georges Gonthier/Admissibilité

L'admissibilité de la page « Georges Gonthier » est débattue.

Consignes quant à cette procédure :

Qui peut participer ?

Le créateur de la page et les contributeurs ayant un compte ayant fait au moins cinquante contributions aux articles (espace principal) de fr.wikipedia.org au lancement de cette procédure peuvent exprimer leur avis.

Les avis des personnes n’ayant pas de compte ou un compte ayant moins de 50 contributions sont déplacés dans « Avis non décomptés » et ne sont en principe pas pris en considération. Lors de la clôture, les avis sans argumentaire sont également déplacés et ne sont pas pris en compte.

Durée de la consultation

Si un consensus clair s'est dégagé le 4 septembre après l'expiration de sept jours pleins de débat (168 heures), un contributeur ayant réalisé au moins 500 modifications et ayant 3 mois d'ancienneté (utilisateur autopatrolled) qui n'aura pas pris part au débat peut clore la proposition et indiquer si la page est conservée ou supprimée (la suppression devant être demandée à un administrateur). Dans le cas contraire, la discussion se poursuit et peut être close à partir du 11 septembre.

Voir toutes les procédures en cours

Important

• Copiez le lien *{{L|Georges Gonthier}} et collez-le dans la section du jour de la page principale « Débat d'admissibilité ». Attention, un décalage d'un jour est possible en fonction de la mise en page.
• Avertissez le créateur, les principaux contributeurs de l’article et, si possible, les projets associés en apposant le message {{subst:Avertissement débat d'admissibilité|Georges Gonthier}} sur leur page de discussion.

Georges Gonthier

Proposé par : Silex6 (d) 27 août 2011 à 13:38 (CEST)

Semble hors critères d'admissibilité des personnes. bandeau admissibilité en place depuis octobre 2010.

Cette demande est effectuée dans le cadre de la maintenance de la Catégorie:Admissibilité à vérifier, en effet un bandeau d'admissibilité est posé sur cet article depuis octobre 2010 et il est dommage de garder : des articles admissibles avec un bandeau disgracieux dessus des articles non admissibles (et notamment des articles promotionnels, POV, TI ou encore des canulars) Dans tous les cas (recommandation dans Wikipédia), les décisions de conservation ou de suppression sont prises suite à des discussions dans le cadre des pages à supprimer. Vous êtes donc invités à donner votre avis, dans le cadre des critères d'admissibilité des articles, cet article doit-il être conservé ou supprimé ? (cette procédure ne met pas en cause son opportunité. Seul votre avis peut le faire). Les projets auxquels est rattaché l'article ainsi que ses principaux contributeurs (hors IP) sont prévenus de cette démarche.

Conclusion

Le débat a abouti à la conservation de cette page.

Conservation traitée par Hadrianus (d) 4 septembre 2011 à 22:42 (CEST)

Raison : Le proposant n'est pas suivi. Arguments détaillés pour la conservation.

Discussions

Toutes les discussions vont ci-dessous.

Avis

Entrez ci-dessous votre avis sur l’admissibilité du thème à l’aune de l’existence de sources extérieures et sérieuses ou des critères d'admissibilité des articles. Il est recommandé d'accentuer l'idée principale en gras (conserver, fusionner, déplacer, supprimer, etc.) pour la rendre plus visible. Vous pouvez éventuellement utiliser un modèle. N’oubliez pas qu’il est obligatoire d’argumenter vos avis et de les signer en entrant quatre tildes (~~~~).

Conserver

1.  Conserver Georges Gonthier a écrit une version nouvelle de la démonstration du théorème des quatre couleurs, apportant une contribution durable à l'histoire de ce théorème emblématique, qui est largement citée par la littérature spécialisée du domaine et la communauté plus large (deux citations nominales dans la Stanford Encyclopedia of Philosophy par des auteurs différents, un article dans les Notice of the American Mathematical Society, citations dans des 'surview' du domaine). Pour moi, son statut d'auteur de référence ne fait aucun doute. Par ailleurs, suite à cette demande de suppression, j'ai fait des recherches plus approfondies, mais plutôt que construire ici un commentaire détaillé j'ai préféré éditer directement l'article pour y apporter des informations pertinentes. Gasche (d) 28 août 2011 à 23:22 (CEST)
2.  Conserver La démonstration par ordinateur du théorème des quatre couleurs est une avancée en informatique théorique, et les publications de Georges Gonthier sont fréquemment citées: voir Google Scolar. Les sources sont disponibles sans problème, auteur de référence dans son domaine. -- Speculos ^✉ 29 août 2011 à 08:33 (CEST)
3.  Conserver, référence dans son domaine, connu depuis sa participation au le langage Esterel pour nombre de ses travaux. Il a d'ailleurs obtenu le Prix Fondation EADS en 2011 ([1]). Binabik (d) 31 août 2011 à 22:46 (CEST)

Supprimer

1.  Supprimer a priori non notable, sauf à ce qu'on m'explique que la démonstration du théorème des quatre couleurs en fait une sommité de l'informatique. Puce Survitaminée (d) 27 août 2011 à 15:03 (CEST)

   En fait, son travail n'a pas réellement été de prouver le théorème, mais de vérifier la preuve (en:Automated proof checking), ce qui était effectivement inédit. Binabik (d) 31 août 2011 à 22:53 (CEST)

2.  Supprimer Consensus non dégagé. Il faut laisser plus de temps aux autres votant par un appel sur le bistro. Semble Hors critères LD ^{• m'écrire •} 4 septembre 2011 à 22:52 (CEST)

Avis non décomptés

Exception étant faite pour le créateur de l’article, les avis d’utilisateurs récemment inscrits (moins de cinquante contributions...) ou non identifiables (IP, opinions non signées...) ne sont en principe pas pris en compte. Si vous êtes dans ce cas, vous pouvez toutefois participer aux discussions ou vous exprimer ci-dessous pour information :