Some undecidable problems involving elementary functions of a real variable

DOI10.2307/2271358zbMath0175.27404WikidataQ56474593 ScholiaQ56474593MaRDI QIDQ5565112

Daniel Richardson

Publication date: 1968

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271358

zbMATH Keywords

recursion theory, constructive mathematics

Related Items

Extensions of Hilbert's tenth problem, An undecidable property of definite integrals, Decision problems for differential equations, The removal of $\pi $ from some undecidable problems involving elementary functions, Effective Set Membership in Computer Algebra and Beyond, Remarks on undecidability, incompleteness and the integrability problem, Growth estimates for exp-log functions, Solving difference equations whose coefficients are not transcendental, Testing elementary function identities using CAD, How to build a hypercomputer, Decreasing the nesting depth of expressions involving square roots, Computer algebra: Past and future, Constraint propagation with interval labels, Solving symbolic equations with PRESS, Undecidability and incompleteness in classical mechanics, Terminal model of Newtonian dynamics, A notion of mechanistic theory, Dynamical system where proving chaos is equivalent to proving Fermat's conjecture, Unpredictable dynamics and collective brain, Predictability in deterministic theories, A test environment using symbolic program trace, Postinstability models in dynamics, Dynamical simulations of probabilities, Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets, Undecidable Hopf bifurcation with undecidable fixed point, Undecidability, incompleteness and Arnol'd problems, Irreversibility in thermodynamics, On an undecidable problem related to difference equations with parameters, Hidden verification for computational mathematics, Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates, Integration of elementary functions, A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy, A structure theorem for the elementary functions and its application to the identity problem, Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations, Symmetrie elementarer Funktionen: Entscheidbarkeitsfragen und Algorithmen

Cites Work

• The decision problem for exponential diophantine equations