Peu commune
Décidabilité
propriété des théories
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés : la décidabilité logique et la décidabilité algorithmique. L’indécidabilité est la négation de la décidabilité. Dans les deux cas, il s'agit de formaliser l'idée qu'on ne peut pas toujours conclure lorsque l'on se pose une question, même si celle-ci est sous forme logique.
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement