« Recherche:Principe de complétude/Le paradoxe du menteur » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 78 :
 
=== Ensemble paralogique ===
Par opposition à l'ensemble précédent, dont les éléments ont une caractéristique sémantique commune de telle sorte qu'ils peuvent être « regroupés » et « structurés », nous définirons un ensemble disparate d'éléments « non-regroupables » et « non-structurables » composés des OGE qui n'appartiennent pas à l'ensemble analogique. Ils sont '''en-dehors''' d'un champ sémantique. Contradictoirement, s'ils appartenaient à un champ sémantique, il existerait un OGE qui permettrait de les regrouper et de les structurer.
 
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>
 
 
=== Ensemble intermédiaire ===