Wang P.S. — The Undecidability of the Existence of Zeros of Real Elementary Functions
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: The Undecidability of the Existence of Zeros of Real Elementary Functions
Автор: Wang P.S.
Аннотация:
From Richardson's undecidability results, it is shown that the predicate "there existe a real number r such that G(r) = 0" is recursively undecidable for G(x) in a class of functions which involves polynomials and the sine function. The deduction follows that the convergence of a class of improper integrals is recursively undecidable.
|
|
О проекте