The Undecidability of the Existence of Zeros of Real Elementary Functions-Reference-Cited by-同舟云学术

The Undecidability of the Existence of Zeros of Real Elementary Functions

Published:1974-10 Issue:4 Volume:21 Page:586-589
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Wang Paul S.¹

Affiliation:

1. Project, MAC, Massachusetts Institute of Technology, 832 Technology Square, Cambridge, Massachusetts

Abstract

From Richardson's undecidability results, it is shown that the predictive “there exists 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.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/321850.321856

Reference9 articles.

1. On Canonical Forms and Simplification

2. tenth problem is unsolvable;DA;Amer. Math. Mont.,1973

3. Mathematische probleme;HILBEP T;Bull. Amer. Math. Soc.,1901

4. Diophantine nature of enumerable sets;MATIASEVICH IV.;Akademiia Nauk SSSR Doklady,1970

5. MOSES j. Symbolic integration: The stormy decade. Comm. ACM 1~4 8 (Aug. 1971) 548-560. 10.1145/362637.362651 MOSES j. Symbolic integration: The stormy decade. Comm. ACM 1~4 8 (Aug. 1971) 548-560. 10.1145/362637.362651

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Feasibility and regularity analysis of safe stabilizing controllers under uncertainty;Automatica;2024-09

2. Reduction of Transcendental Decision Problems over the Reals;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16

3. Equivalents of the Riemann Hypothesis;ENCYCLOP MATH APPL;2023-10-11

4. Deciding first-order formulas involving univariate mixed trigonometric-polynomials;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24

5. Unsolvability of Some Problems about Piecewise-Polynomial Functions;Moscow University Mathematics Bulletin;2023-06