"Super-recursive algorithms" - читать интересную книгу автора (M S Burgin )