Discussion:Ensemble extentionnel/Admissibilité

Traité - supprimé

Laurent N. [D] 14 septembre 2007 à 02:06 (CEST)

L'admissibilité de la page « Ensemble extentionnel » 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 3 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 10 septembre.

Voir toutes les procédures en cours

Important

• Copiez le lien *{{L|Ensemble extentionnel}} 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é|Ensemble extentionnel}} sur leur page de discussion.

Ensemble extentionnel

Proposé par : Proz 26 août 2007 à 22:11 (CEST)

Faute d'orthographe dans le titre. La notion d'ensemble extensionnel est utilisée en théorie de la calculabilité, en particulier pour le théorème de Rice. Le titre même corrigé n'a pas grand sens : il devrait faire référence à la calculabilité. Il y a plus à dire sur la notion mais ce n'est vraiment pas une priorité. Ce qu'il y a à ce propos dans l'article théorème de Rice est suffisant et couvre le contenu actuel de cet article. Voir également Discussion_Portail:Logique#Ensemble extentionnel. Proz 26 août 2007 à 22:11 (CEST)

Discussions

J'ai entièrement confiance en l'avis de Proz. Je voterai donc pour la suppression. Remarque : la plupart des contributeurs en mathématiques sur Wikipédia auront certainement entendu parler de la calculabilité. Pour autant, il est moins sûr qu'ils puissent se prononcer sérieusement sur cette demande de suppression. Si je comprends l'argumentation de Proz, la notion existe mais ne mérite pas d'y consacrer un article. Est-il possible alors de transformer l'article en une page d'homonymie ? Sinon, je voterai la suppression. Kelemvor 28 août 2007 à 20:15 (CEST)

Disons que l'on parle aussi d'extensionnalité dans d'autres contextes, informatique, théorie des ensembles, théorie des types, mais avec la même idée de base (identifier des objets qui sont les même du point de vue de l'appartenance, à l'ensemble, au graphe de la fonction ...) Je ne crois pas qu'"ensemble extensionnel" renvoie immédiatement à la calculabilité, mais je ne peux pas non plus donner d'autres définitions. Si la page d'homonymie s'appelle "extensionnalité", là ça me semble possible. Je suppose que l'on ne veut pas laisser traîner un titre mal orthographié, même en redirect, donc il faudra de toute façon supprimer quelquechose. Proz 28 août 2007 à 21:38 (CEST)

Je n'ai aucune idée de quoi il s'agit, donc je ne vote pas formellement, mais : faute d'orthographe -> suppression de toute manière + je fais confiance à Proz et Pierre pour ce qui est du choix rédactionnel. Salle 29 août 2007 à 09:46 (CEST)

Avis

Format : Motivation, signature

Neutre

1.  Neutre. Pas assez qualifié dans le domaine. Mais pour rappel, il est toujours mieux pour la discussion (et plus élégant) de prévenir le créateur ou le principal développeur de la page de sa demande de suppression. Ce qui ici n'avait pas été fait. TCY 27 août 2007 à 05:35 (CEST)

• Il me semble que l'auteur aurait pu, en catégorisant l'article par exemple, avertir la communauté de l'existence de cet article.Pierre de Lyon 27 août 2007 à 11:47 (CEST)
• J'ajoute que j'avais suggéré la suppression de cet article le 8 avril dans la discussion du portail logique, comme l'a mentionné Proz.Pierre de Lyon 27 août 2007 à 11:55 (CEST)

1.  Conserver a moins que ce ne soit absurde (ce que je ne peut pas juger) et considéré comme tel par le projet mathématique --Jef-Infojef 27 août 2007 à 23:52 (CEST)

Il s'agit de théorie de la calculabilité, qui fait partie de la logique mathématique, éventuellement de l'informatique théorique. Je veux bien qu'on laisse un message sur le projet mathématique, mais je doute qu'on y trouve beaucoup d'autres avis. La conservation dans l'état actuel serait effectivement absurde (titre mal orthographié et pas clair même corrigé). Proz 28 août 2007 à 00:45 (CEST)

1.  Neutre je ne comprends rien et laisse donc ceux qui ont l'air de savoir" se prononcer. On touche les limites du vote avec de tels sujets. --Anatole Coralien 8 septembre 2007 à 22:09 (CEST)

Supprimer

1.  Supprimer cf. ci-dessus. Proz 26 août 2007 à 22:14 (CEST)
2.  Supprimer L'article est confus et son contenu est très succinct. Si le concept d'ensemble extensionnel peut éventuellement être introduit quelque part, cela ne justifie par un article à lui seul. Pierre de Lyon 27 août 2007 à 11:43 (CEST)

Avis divers 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 (IPs, opinions non signées,...) ne sont en principe pas décomptés. Si vous êtes dans ce cas, vous pouvez toutefois participer aux discussions ou vous exprimer ci-dessous pour information :