indécidabilité
- lemme
-
- nom commun féminin
- forme
-
- phonétique /ɛ̃.de.si.da.bi.li.te/
- orthocode in.dé.ci.da.bi.li.té
- voir aussi rimes
- fréquence de la forme 0.0 / million
Prononciation et analyses de « indécidabilité » 1 analyse · 0.0 occurrences par million
| lemme | catégorie | analyse | prononciation | fréq. |
|---|---|---|---|---|
| indécidabilité | nom commun | singulier féminin | ɛ̃.de.si.da.bi.li.te |
Formes, analyses, prononciation et fréquences : base LeXiK (B, noyau). Fréquences en occurrences par million de mots (sous-titres) ; la fréquence d'une analyse est la part de cette analyse dans les corpus étiquetés, celle d'un lemme la somme de ses analyses.
Définitions de « indécidabilité » nom commun · féminin
pluriel : indécidabilités
Formes de « indécidabilité » 2 : indécidabilité, indécidabilités
- indécidabilité ɛ̃.de.si.da.bi.li.te singulier féminin
- indécidabilités ɛ̃.de.si.da.bi.li.te[z] pluriel féminin
nom commun · féminin
Étymologie. Dérivé de décidabilité, avec le préfixe in-.
-
mathématiques
État de ce qui n'est pas décidable.
- Ensuite, en appliquant le lemme diagonal à des formules convenablement choisies, on déduit successivement le théorème d'indécidabilité de Church dans la sous-section 4.2, le théorème de Tarski sur la non-définissabilité de la vérité arithmétique dans la sous-section 4.3, puis le premier théorème d'incomplétude de Gödel dans la sous-section 4.4, et enfin le second théorème d'incomplétude de Gödel dans la sous-section 4.5, ici sous une forme non optimale puisqu'établi seulement seulement pour les théories au moins aussi fortes que la théorie de Zermelo, alors que l'arithmétique de Peano serait suffisante. — Patrick Dehornoy, La Théorie des Ensembles, C&M, 2017, page 292
- antonymes
- décidabilité
Traductions
- Anglais
- undecidability
- Espagnol
- indecidibilidad
- Occitan
- indecidibletat
Source : « indécidabilité », Wiktionnaire, section nom commun (CC BY-SA 3.0).
Relations d'autres sources JeuxDeMots, WOLF — au niveau du lemme, sans distinction des lexèmes
- hyperonymes 2
- négationJ, étatJ
J : JeuxDeMots (rezoJDM, CC0, relations de poids suffisant) ; W : WOLF (WordNet libre du français, CeCILL-C).
Aucune entité Wikidata ne porte ce nom.