An undecidable property of definite integrals
HTML articles powered by AMS MathViewer
- by Daniel T. Stallworth and Fred W. Roush PDF
- Proc. Amer. Math. Soc. 125 (1997), 2147-2148 Request permission
Abstract:
We show that it is undecidable whether the definite contour multiple integral of an elementary meromorphic function is zero over an everywhere real analytic manifold on which it is analytic.References
- Andrew Adler, Some recursively unsolvable problems in analysis, Proc. Amer. Math. Soc. 22 (1969), 523–526. MR 248020, DOI 10.1090/S0002-9939-1969-0248020-7
- J. Denef and L. Lipshitz, Decision problems for differential equations, J. Symbolic Logic 54 (1989), no. 3, 941–950. MR 1011182, DOI 10.2307/2274755
- Daniel Richardson, Some undecidable problems involving elementary functions of a real variable, J. Symbolic Logic 33 (1968), 514–520. MR 239976, DOI 10.2307/2271358
Additional Information
- Daniel T. Stallworth
- Affiliation: Department of Mathematics, Alabama State University, Montgomery, Alabama 36101-0271
- Fred W. Roush
- Affiliation: Department of Mathematics, Alabama State University, Montgomery, Alabama 36101-0271
- Email: froush@asu.alasu.edu
- Received by editor(s): February 18, 1994
- Received by editor(s) in revised form: January 29, 1996
- Communicated by: Andreas R. Blass
- © Copyright 1997 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 125 (1997), 2147-2148
- MSC (1991): Primary 03B25
- DOI: https://doi.org/10.1090/S0002-9939-97-03822-7
- MathSciNet review: 1377008