ω-cohérence \o.me.ɡa.kɔ.e.ʁɑ̃s\ (nom commun) : Propriété d’une théorie arithmétique qui ne peut pas, pour toute propriété P des nombres entiers exprimable dans son langage, démontrer à la fois P(n) pour chaque entier standard n et la négation de ∀x,P(x) ; condition plus forte que la simple cohérence, introduite par Kurt Gödel comme hypothèse de son premier théorème d’incomplétude.
Synonymes de ω-cohérence
oméga-cohérence
Antonymes de ω-cohérence
ω-incohérence
Définitions
Nom commun \o.me.ɡa.kɔ.e.ʁɑ̃s\
- Propriété d’une théorie arithmétique qui ne peut pas, pour toute propriété P des nombres entiers exprimable dans son langage, démontrer à la fois P(n) pour chaque entier standard n et la négation de ∀x,P(x) ; condition plus forte que la simple cohérence, introduite par Kurt Gödel comme hypothèse de son premier théorème d’incomplétude.La ω-cohérence est strictement plus forte que la cohérence ordinaire : toute théorie ω-cohérente est cohérente, mais la réciproque est fausse.
Étymologie
Terme composé : – du préfixe ω, ō (« oméga, vingt-quatrième lettre de l’alphabet grec, utilisée en logique et en mathématiques pour désigner le premier ordinal infini ») – et de cohérence, du latin cohaerentia (« cohérence, cohésion »).
Mots voisins
λ-terme· μ-métal· σ-algèbre· σ-compacité· σ-compact· φ· aboyer· ℁· 𝕏· 🦋
Sources
- « ω-cohérence », 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.