- Full text PDF available (16)
We describe Richardson's functor from the Diophantine equations and Diophan-tine problems into elementary real-valued functions and problems. We then derive a general undecidability and incompleteness result for elementary functions within ZFC set theory, and apply it to some problems in Hamiltonian mechanics and dynamical systems theory. Our examples deal… (More)
???? the abstract ????