Ensembles récursivement inséparables
De Wikipedia, l'encyclopédie encyclopedia
En théorie de la calculabilité, deux ensembles disjoints d'entiers naturels sont appelés récursivement inséparables s'ils ne peuvent pas être "séparés" par un ensemble récursif[1],[2],[3].