Définition de décidabiliser | Babel Free

Définitions

Donner un caractère décidable à.

Exemples

“Cet état d’espoir qui, rappelons-le, est une attente confiante (croire pouvoir être) porte S₁ à décidabiliser, indûment, un énoncé visiblement indécidable.”

“Pour "décidabiliser" le problème, Turing délimita le domaine de la question en définissant un test purement intellectuel : (…)”

“Seulement, ce qui filtre de l’être vers ce paraitre et qui permet de persuader, puisqu’il faut toujours que le vraisemblable s’installe sur quelques indices décidabilisés pour s’établir juridiquement, filtre et persuade d’autant mieux qu’il provient de la richesse d’un labyrinthe, d’un lieu non maîtrisé par un sujet activiste.”

Niveau CECR