Una vez tomé una clase sobre computabilidad y lógica. El material incluía una correlación entre las clases de complejidad / computabilidad (R, RE, co-RE, P, NP, Logspace, ...) y la lógica (cálculo de predicados, lógica de primer orden, ...).
La correlación incluyó varios resultados en un campo, que se obtuvieron utilizando técnicas del otro campo. Se conjeturó que P! = NP podría ser atacado como un problema en la lógica (proyectando el problema desde el dominio de las clases de complejidad a la lógica).
¿Hay un buen resumen de estas técnicas y resultados?