Aller au contenu
Chroniques
Menu

français

astuce de Rosser

Procédé de démonstration employé pour renforcer le premier théorème d’incomplétude de Gödel, consistant à remplacer

Donnée du Wiktionnaire, non revue

Histoire

grec ancien ἄστυ Romanisation savante du grec ancienásty latin astus › astutus › astutia français astuce de Rosser 500 av. 500 1000 1500 2000
Périodes des langues : convention du site, sources sur la page Méthode.

Ascendance

Reconstituée depuis les relations enregistrées, sans reformuler le texte du Wiktionnaire

astuce de Rosserfrançaisastutialatin,astutuslatinAstucieux, rusé, fourbe.,astuslatinAstuce, ruse.,ἄστυástygrec ancienVille.,

lien vérifiéconfirmé par deux sources indépendantesune seule source
L’ascendance en liste
  • astutia « Astuce, ruse, machination. » (latin) → astuce de Rosser (français) : hérité ; une seule source
  • astutus « Astucieux, rusé, fourbe. » (latin) → astutia (latin) : formé ; une seule source
  • astus « Astuce, ruse. » (latin) → astutus (latin) : formé ; une seule source
  • ἄστυ ásty « Ville. » (grec ancien) → astus (latin) : une seule source

Translittérations automatiques : Romanisation savante du grec ancien. Comment elles sont calculées

  • latin astutia — d’après le Wiktionnaire

Cognats

Mots d’autres langues issus du même étymon

  • astutoespagnolAstucieux.
  • astutcatalanMalin, rusé, astucieux.
  • astutoitalienAstucieux.
  • astúciaoccitanRuse, astuce.
  • astutelatinAdroitement, avec ruse, avec astuce.
  • astuteanglaisAstucieux, avisé, sagace.

Familles

Tous les mots qui descendent des mêmes étymons que astuce de Rosser

Le Wiktionnaire

Texte de l’article du Wiktionnaire, cité tel quel

Locution composée de astuce, du latin astutia (« astuce, ruse, machination ») et de Rosser, nom de famille du logicien étatsunien John Barkley Rosser, qui a introduit ce procédé de démonstration dans un article publié en 1936 dans The Journal of Symbolic Logic sous le titre Extensions of some theorems of Gödel and Church. L’expression anglaise dont elle est issue, Rosser's trick, est antérieure dans la littérature de langue anglaise.

Wiktionnaire, article « astuce de Rosser » — CC BY-SA

Résumé

Composé à partir des relations enregistrées, sans reformuler le texte du Wiktionnaire

Du latin astutia, « Astuce, ruse, machination », dérivé de astutus, « Astucieux, rusé, fourbe », dérivé de astus, « Astuce, ruse ».

Descendance

Mots formés à partir de astuce de Rosser

Aucun mot dérivé dans les données.

Sources

Chercher dans : TLFi · FEW · Académie française (nouvel onglet) (Source : www.dictionnaire-academie.fr)