Это контрастирует с теорией субрекурсивных иерархий, формальных методов и формальных языков, которые распространены при изучении теории вычислимости в информатике.
Теория вычислимости является частью информатики.