Discussion:Notations infixée, préfixée, polonaise et postfixée
Lien avec la compilation
modifierIl serait bon de signaler que les notations préfixées et postfixeés ne sont pas faites pour les humains, mais pour les machines ou pour les besoins de la logique (ce qui était le cas de Łukasiewicz) . Je m'étonne donc que l'article ne parle nulle part de compilation. --Pierre de Lyon (discuter) 26 septembre 2016 à 12:59 (CEST)
Date d'invention de la "notation polonaise"
modifierDans l'article il y a 1924, dans Jan Łukasiewicz il y a 1920, et la source ajoutée aujourd'hui date de 1929. Qu'en est-il ? Les différentes sources (Tangente, la source ajoutée aujourd'hui) sont inaccessibles.. --Jean-Christophe BENOIST (discuter) 27 septembre 2017 à 17:36 (CEST)
- Donc ce serait Moses Schönfinkel qui serait l'initiateur de la notation "polonaise" en 1924 ? Je ne sais comment interpréter la dernière source ajoutée. --Jean-Christophe BENOIST (discuter) 27 septembre 2017 à 17:46 (CEST)
- Pour la date 1929, je m'appuie sur ce qu'écrit Quine en 1967 dans l'introduction de l'article de Schöfinkel de From Frege to Gödel. Quine ne cite par l'article de 1920 de Łukasiewicz (qui apparaît pourtant dans la biblio de From Frege to Gödel). Un peu d'histoire: Le 7 décembre 1920, Schönfinkel a donné une conférence à Göttingen. C'est Heinrich Behmann (en) qui l'a rédigée et éditée pour la publier le 15 mars 1924. Il (Behmann) y a ajouté une note où il propose de supprimer les parenthèses.
- Voici ce qu'écrit l'article wikipedia en anglais polish notation:
- A quotation from a paper by Jan Łukasiewicz, Remarks on Nicod's Axiom and on "Generalizing Deduction", page 180, states how the notation was invented:
I came upon the idea of a parenthesis-free notation in 1924. I used that notation for the first time in my article Łukasiewicz(1), p. 610, footnote.
- La page 610 et la note correspondent à ce qu'écrit Quine. Je pense donc que la date 1920 est erronée et que la notation infixée a été inventée en 1924 indépendamment par Łukasiewicz et Behmann.
- --Pierre de Lyon (discuter) 27 septembre 2017 à 18:33 (CEST)
- Retenons donc 1924. Je vais mettre à jour Jan Łukasiewicz. Il semble que "Tangente" sonne aussi 1924 puisque c'était la seule source pour 1924 dans cet article. --Jean-Christophe BENOIST (discuter) 27 septembre 2017 à 21:20 (CEST)
Je serais favorable à enlever la référence à Tangente, qu'on ne trouve pas en ligne et dont on ne sait pas si elle donne 1920 ou 1924. --Pierre de Lyon (discuter) 28 septembre 2017 à 10:35 (CEST)
- Pas contre, mais alors il faut la remplacer par une autre source dans Jan Łukasiewicz. --Jean-Christophe BENOIST (discuter) 28 septembre 2017 à 12:47 (CEST)
postfixe et préfixe
modifierCertains auteurs utilisent la terminologie « préfixe » et « postfixe » sans accent aigu. C'est surtout le cas quand on parle de "parcours préfixe" ou de "parcours postfixe", car "parcours préfixé" fait un peu bizarre. Faut-il mentionner cette terminologie ? --Pierre de Lyon (discuter) 28 septembre 2017 à 14:08 (CEST)
- Si elle existe et est notablement utilisée, oui, mais il ne me semble pas que cela soit le cas. Je n'ai jamais entendu ou lu, en effet, "parcours préfixé" et il me semble que cela serait incorrect. Mais comme les informaticiens parlent anglais en général, je ne suis pas sûr qu'il existe une terminologie officielle en français, et pratiquement aucune de mes sources est en français.. --Jean-Christophe BENOIST (discuter) 28 septembre 2017 à 14:42 (CEST)
- En fait notation infixe redirige vers cet article ! --Pierre de Lyon (discuter) 29 septembre 2017 à 18:52 (CEST)