# Synonymes de astuce de Rosser

Source : https://synonyma.fr/astuce%20de%20Rosser · 2 synonymes · 0 antonymes · mis à jour le 2026-11-03

## Synonymes de astuce de Rosser

### Locution nominale

- truc de Rosser, variante de Rosser

## Définitions

### Locution nominale \as.tys də ʀɔ.sɛʀ\

1. Procédé de démonstration employé pour renforcer le premier théorème d’incomplétude de Gödel, consistant à remplacer l’énoncé de Gödel par un énoncé plus complexe (l’« énoncé de Rosser »), de façon à n’avoir besoin que de l’hypothèse de cohérence simple d’une théorie, et non de la ω-cohérence requise par la démonstration originale de Gödel.
   > Lemme 3.6.7 (Astuce de Rosser) Soit A⊂ℕᵖ, on note Aᶜ son complémentaire dans ℕᵖ. On suppose que…

## Étymologie

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 da…

## Sources et licence

- Wiktionnaire, « astuce de Rosser » : https://fr.wiktionary.org/wiki/astuce%20de%20Rosser (CC BY-SA 4.0)