"New Computational Paradigms: Changing Conceptions of What is Computable" - читать интересную книгу автора (S.B. Cooper, Benedikt Lowe, Andrea Sorbi)