Frontière de Calculabilité

La frontière qui sépare les problèmes de décision, fonctions ou fragments de langage qui admettent des solutions algorithmiques effectives de ceux qui n'en admettent pas, relative à un modèle formel de calcul précisé et à une notion d'effectivité définie.