"Undecidability of zeros of elementary functions" - читать интересную книгу автора (Wang.)