Я взяв один раз клас з обчислюваності та логіки. Матеріал включав кореляцію між класами складності / обчислюваності (R, RE, co-RE, P, NP, журнальний простір, ...) та логікою (обчислення предикатів, логіка першого порядку, ...).
Кореляція включала кілька результатів в одному полі, які були отримані за допомогою методик з іншого поля. Можна припустити, що P! = NP може бути атаковано як проблема в логіці (проектуючи проблему з області класів складності на логіку).
Чи є хороший підсумок цих методик та результатів?