Ich habe einmal einen Kurs über Rechenfähigkeit und Logik besucht. Das Material enthielt eine Korrelation zwischen Komplexitäts- / Berechenbarkeitsklassen (R, RE, Co-RE, P, NP, Logspace, ...) und Logik (Prädikatenrechnung, Logik erster Ordnung, ...).
Die Korrelation umfasste mehrere Ergebnisse in einem Feld, die unter Verwendung von Techniken aus dem anderen Feld erhalten wurden. Es wurde vermutet, dass P! = NP als ein Problem in der Logik angegriffen werden könnte (indem das Problem von der Domäne der Komplexitätsklassen auf die Logik projiziert wird).
Gibt es eine gute Zusammenfassung dieser Techniken und Ergebnisse?