Teorio de komputebleco

Teorio de komputebleco povas havi la signifon:

 Rekursia teorio, branĉo de matematika logiko, siatempe nomita teorio de komputebleco.
 Teorio de komputebleco en la moderna senco, branĉo de la teorio de komputado.