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