« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions
Contenu supprimé Contenu ajouté
Ligne 82 :
Cet ensemble est bien « non-énumérable » car nous ne savons pas ce qu'il contient autrement que par opposition de ce que nous connaissons. Difficile à décrire, donc. Nous pouvons simplement « penser » que le mode de description ne différerait pas de celui de l'ensemble analogique. Remarque qui a permis à Türing de résoudre le problème du décryptage, et qui est à l'origine de la faculté d'adaptation des espèces. Nous pourrons traduire ceci par :<br><br>
<center>''Si y ∈ {<math>\lnot</math>x}, alors x ∈ {<math>\lnot</math>y} <math>\land</math> y <math>\lnot</math>∈ {<math>\lnot</math>y}''</center><br>
Si il existe une vérité, ce n'est pas un mensonge et tout mensonge est un élément de non-vérité, tandis que cette vérité en est exclue. Ceci nous conduit à penser que les deux pôles ainsi définis sont exclusifs l'un de l'autre, et que les deux ensembles correspondants sont disjoints et indépendants l'un de l'autre. La frontière qui les sépare apparait ainsi infranchissable. Nous qualifierons les OGE d''''absolus''' ou d''''extrèmes'''.
=== Ensemble intermédiaire ===
| |||