Un ensemble décidable, c'est la même chose qu'un ensemble récursif. Un ensemble récursivement énumérable, c'est la même chose qu'un ensemble semidécidable (quoique l'idée d'énumération ne fonctionne pas pour l'ensemble vide). Une fonction calculable c'est la même chose qu'une fonction récursive, mais attention, avec le sens de « fonction récursive » en théorie du calcul qui n'est pas le sens ordinaire de fonction récursive en programmation.

Pour tout arranger, la « programmation linéaire » n'a aucun rapport avec ce qu'on appelle le plus souvent « programmation » en informatique.

NB La terminologie est également un peu inconsistante dans d'autres domaines des maths (p.ex. les compacts qui, chez certains, sont des compacts Hausdorff), mais la standardisation des programmes scolaires, notamment des classes préparatoires, y remédie.