Los problemas resolubles en tratables e intratables
Clasificado en Informática
Escrito el en 
español con un tamaño de 798 bytes
decibilidad;si existe un algoritmo que diga en tiempo finito si una cadena cualquiera es un teorema.
leng. Decidible; son cadenas de palabras calculables mediante funciones recursivas"lenguaje recursivo"
los problemas se pueden clasificar desde el punto de vista de la teoría de computabilidad en resolubles y no resolubles
los problemas resolubles se suibdividen en tratables e intratables
tratables aquellos para los cuales existe un algoritmo eficiente que lo resuleve
intratable aquellos