Discussion:John R. Myhill
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Myhill-Russell modifier
La phrase sur le paradoxe de Myhill-Russell est des plus curieuses. Elle est reprise texto dans la référence citée Internet Encyclopedia of Philosophy (c'est moi qui mets en italiques) :
« This antinomy was discovered by Bertrand Russell in 1902, a year after discovering a simpler paradox usually called “Russell’s paradox.” It was discussed informally in Appendix B of his 1903 Principles of Mathematics. In 1958, the antinomy was independently rediscovered by John Myhill, who found it to plague the “Logic of Sense and Denotation” developed by Alonzo Church. »
Le problème de traçabilité s'arrête là pour moi, car je n'ai pas accès à la revue Logique et analyse, et cet article n'est pas référencé par MathSciNet qui ne référence pas non plus la revue. Cette revue est un peu cachée, si l'on en juge par leur site.
En conclusion, je propose de supprimer tout simplement ce paragraphe. Bonne journée. --ManiacParisien (d) 5 mars 2013 à 07:37 (CET)
- Bonjour, j'ai été moi aussi très dubitatif face à cette phrase (voir l'historique). Je vois que tu l'as masquée. Je ne suis pas contre sa suppression ... sachant que trace est tout de même donnée dans cette présente pdd de ce qui fut mis et via est loisible à qui pourrait argumenter et sourcer cela de le faire. Bon en définitive (en réfléchissant tout en écrivant cela) je supprime ce passage. Sinon, merci pour cette nouvelle traduction et apport conséquent à wp:fr, ManiacParisien --Epsilon0 ε0 7 mars 2013 à 21:28 (CET)