Théorie de la Calculabilité

L'étude des fonctions, ensembles et problèmes calculables par procédures effectives (algorithmes), des classifications des degrés d'insolvabilité, de décidabilité et de variantes bornées en ressources ; souvent formalisée par des modèles de machines abstraites et des formalismes de fonctions récursives.