Discussion:Calcul de séquences

Redirect sur Calcul des séquents

Conformément à ce que j'avais annoncé, j'ai supprimé cet article qui est maintenant une redirection sur Calcul des séquents. Pour info je reproduis ici la discussion qui a eu lieu sur Wikipedia:Pages à fusionner à ce propos.

Calcul des séquents et Calcul de séquences (fait)

Ces deux articles traitent de la même chose, le de:Sequenzenkalkül de Gerhard Gentzen. « Calcul des séquences » correspond à une traduction littérale de l'allemand, tandis que « calcul des séquents » utilise un mot inventé, vraisemblablement sous l'influence des traductions anglaises des travaux de Gentzen qui utilisent le terme « sequent » (en:sequent) pour éviter des confusions, du fait que le mot anglais « sequence » désigne déjà une suite (cette confusion est impossible en français). Le premier article est plus abouti que le deuxième, mais de nombreux liens pointent vers le deuxième, et il faudrait d'autre part expliquer cette double terminologie dans l'article fusionné... 83.177.240.162 18 janvier 2006 à 15:54 (CET)

Je suis responsable du doublon, j'ai créé l'article calcul des séquents. C'était peut-être une erreur mais l'article original, calcul de séquences ne me semblait pas réformable sans une réécriture complète (je m'explique sur ce point ci-dessous). J'ai d'ailleurs soumis préalablement la question dans Discuter:Logique mathématique mais je n'ai eu aucune réaction.

Il est inexact que beaucoup de liens pointent sur calcul de séquences, il y en avait 3 en provenance d'autres articles, dont 2 introduits par moi-même avant la création de calcul des séquents. Le 3ème provenait de l'article Gerhard Gentzen. J'ai modifié les 3 qui pointent désormais sur calcul des séquents.

Quant à la terminologie, je dois dire que j'ai découvert le terme calcul de séquences sur wikipedia, alors que je fréquente assidûment cette théorie depuis 20 ans. Je ne suis pas germaniste ; je veux bien croire que la traduction littérale du mot allemand est 'séquence', mais cela ne la rend correcte ni au sens mathématique, ni selon l'usage commun qui a toujours été à ma connaissance (et celles des quelques collègues à qui j'ai posé la question) d'employer le mot 'séquent'. Cela dit s'il s'avère que le terme est usité dans des sphères que j'ignore il faut évidemment le mentionner.

Sur le plan scientifique maintenant, j'ai dit que l'article calcul de séquences ne me semblait pas réformable, sans une réécriture complète. Tout d'abord sur le fond, cet article se concentre sur les aspects les plus formalistes et somme toute les plus mineurs du calcul des séquents en ommettant plusieurs points clefs : les raisons profondes ayant poussé Gentzen à introduire ce système, discussion de la règle la plus importante du calcul à savoir la règle de coupure, description du résultat fondamental. Sur la forme maintenant, l'article est rédigé dans un style très verbeux mais assez peu mathématique (il s'agit de logique mathématique). De plus il ignore les techniques modernes de présentation des systèmes formels.

Pour toutes ces raisons je pense que l'article calcul de séquences devrait disparaître dans la fusion proposée. Une autre possibilité, celle que j'avais en tête au départ, serait de laisser cet article dans la catégorie Logique et l'article calcul des séquents dans la catégorie Logique Mathématique.

J'ajoute pour finir que j'ai exactement le même type de réserves au sujet de l'article déduction naturelle, mais je ne recommettrai pas l'erreur de créer un doublon.

Laurent de Marseille 20 janvier 2006 à 23:55 (CET)

J'aurais envie de dire que Laurent a raison sur toute la ligne et j'appuie sans réserve ses propositions. Comme lui et sur une période un peu plus longue, je n'avais jamais entendu parlé de calcul des séquences. J'ai cependant l'avantage sur lui d'avoir lu Gentzen dans le texte ayant découvert que ses articles sont accessibles sur Internet. Le nom séquent ne me choque absolument, et du coup je parle sans vergogne d'antécédent et de conséquent.

(-: A vouloir tout mettre au féminin, «conséquent» donnerait quelque chose d'étrange.

Pierre de Lyon 21 janvier 2006 à 17:47 (CET)

En l'absence de réactions négatives je vais remplacer l'article Calcul de séquences par un redirect sur Calcul des séquents dans un avenir assez bref. Il n'y a pas de problème de fusion d'historique dans la mesure où je ne reprendrai rien de l'article Calcul de séquences.

Laurent de Marseille 28 janvier 2006 à 19:19 (CET)

Toujours aucune réaction négative. C'est fait.

Laurent de Marseille 7 février 2006 à 09:55 (CET)

Laurent de Marseille 7 février 2006 à 10:42 (CET)