Discussion:Astuce de Rosser
Dernier commentaire : il y a 6 ans par Proz dans le sujet Problèmes de traduction
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Rosser's trick » dans sa version du 17 mai 2017.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Cet article est indexé par le projet Logique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Bon début | À évaluer |  | Logique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article comporte une liste de tâches suggérées :
modifier • suivre • rafraîchir • aide
Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Conséquence ⇒ Quelques explications pour effectuer ces corrections. -- 12 juin 2023 à 02:08 (CEST)
Problèmes de traduction
modifier- "Assertion" (un énoncé que l'on affirme) n'est pas dans ce contexte la bonne traduction de sentence, ici je propose "énoncé". C'est à poursuivre dans l'ensemble de l'article ;
- Proof a: remplacé par Dem dans le premier paragraphe, à poursuivre ;
- cohérente ou consistante : les deux sont corrects et utilisés en français, par habitude j'ai utilisé le premier dans l'introduction, mais aucun souci pour revenir dessus, car je vois que l'ensemble de l'article utilise "consistance". Proz (discuter) 25 mai 2018 à 18:44 (CEST)