astuce de Rosser \as.tys də ʀɔ.sɛʀ\ (locution nominale) : 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.
Synonymes de astuce de Rosser
truc de Rosser· variante de Rosser
Définitions
Locution nominale \as.tys də ʀɔ.sɛʀ\
- 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…
Mots voisins
astronomiquement· astrophysique· astroscopie· astrosismologie· astroturfing· astuce· astucieuse· astucieusement· astucieux· asturien· Asturies· asturléonais
Sources
- « astuce de Rosser », Wiktionnaire, le dictionnaire libre. Texte sous licence CC BY-SA 4.0.
Une erreur, un synonyme manquant ? Corrigez la page du Wiktionnaire : la prochaine mise à jour de Synonyma la reprendra.