Teoría de la computabilidad

Teoría de la computabilidad:

La teoría de la computabilidad, también denominada teoría de la recursión, es una de las cuatro partes que constituyen la lógica matemática, siendo las otras tres, la teoría de conjuntos, la teoría de modelos y la teoría de la demostración, y se ocupa del estudio y clasificación de las relaciones y aplicaciones computables. Además, la teoría de la computabilidad, junto con la teoría de autómatas, lenguajes y maquinas, es el fundamento de la informática teórica y esta, a su vez, de la industria de los ordenadores.

Es por esto que, la teoría de la computabilidad introduce en la matemática un concepto nuevo y muy preciso, el de función recursiva general (Herbrand – Gödel – Kleene) y sus equivalentes (Post, Church, Turing).