Accueil > Dictionnaire > Définitions du mot « non-définissabilité »
Non-définissabilité
[nɔ̃defɛ̃isabilite]
Définitions de « non-définissabilité »
Non-définissabilité - Nom commun
-
(Mathématiques) Caractère d'un concept ou d'une propriété qui ne peut être défini de manière précise ou rigoureuse.
Une version interne de la définissabilité fondée sur les opérations de Gödel contourne la non-définissabilité de la vérité.
— Patrick Dehornoy, La Théorie des Ensembles
Étymologie de « non-définissabilité »
Composé de non et de définissabilité.Citations contenant le mot « non-définissabilité »
-
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 -
Une version interne de la définissabilité fondée sur les opérations de Gödel contourne la non-définissabilité de la vérité.
Patrick Dehornoy — La Théorie des Ensembles