Abstract
We prove that we can explicitly construct the expression for a low-dimensional Hamiltonian system where proving the existence of a Smale horseshoe is equivalent to proving that Fermat's Conjecture is true. We then show that some sets of similar intractable problems are dense (in the usual topology) in the space of all dynamical systems over a finite-dimensional real manifold.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Afraimovich, V. S., Bykov, V., and Shil'nikov, P. (1983).Transactions of the Moscow Mathematical Society,44(2), 153.
Burgin, M. S. (n.d.). Personal communication to F. A. Doria.
Cornell, G., and Silvermann, J., eds. (1986).Arithmetic Geometry, Springer, Berlin.
Da Costa, N. C. A., and Doria, F. A. (1991a). Structures, Suppes predicates, and Boolean-valued models in physics, inEssays in Honor of V. Smirnov on his 60th Birthday, J. Hintikka and P. Bystrov, eds., Kluwer, Dordrecht.
Da Costa, N. C. A., and Doria, F. A. (1991b). Suppes predicates for classical physics,Proceedings of the San Sebastian Congress on Scientific Structures, A. Ibarra, ed.
Da Costa, N. C. A., and Doria, F. A. (1991c).Foundations of Physics Letters,4, 363.
Da Costa, N. C. A., and Doria, F. A. (1991d).International Journal of Theoretical Physics,30, 1041.
Da Costa, N. C. A., and Doria, F. A. (1991e). Sur l'incomplétude formelle de la mécanique classique, preprint.
Da Costa, N. C. A., and Doria, F. A. (1993). Suppes predicates and the construction of unsolvable problems in the axiomatized sciences, inPatrick Suppes, Mathematician, Philosopher, P. Humphreys, ed., Kluwer, Dordrecht.
Da Costa, N. C. A., Doria, F. A., and de Barros, J. A. (1990).International Journal of Theoretical Physics,29, 935.
Da Costa, N. C. A., Doria, F. A., and Tsuji, M. (1992a). The incompleteness of the theory of finite noncooperative games with Nash equilibria, preprint CETMC-17.
Da Costa, N. C. A., Doria, F. A., Furtado do Amaral, A. F., and de Barros, J. A. (1992b). Two questions on the geometry of gauge fields,Foundations of Physics, to appear.
Davis, M. (1982).Computability & Unsolvability, 2nd ed., Dover, New York.
Davis, M. (1989). Unsolvable problems, inHandbook of Mathematical Logic, J. Barwise, ed., North-Holland, Amsterdam.
Edwards, H. M. (1977).Fermat's Last Theorem, Springer, Berlin.
Ehrenfeucht, A., and Mycielski, J. (1971).Bulletin of the AMS,77, 366.
Gödel, K. (1986). On the length of proofs, inKurt Gödel: Collected Works I, S. Fefermanet al., eds., Oxford University Press, Oxford.
Gödel, K. (1990). Remark on non-standard analysis, inKurt Gödel: Collected Works II, S. Fefermanet al., eds., Oxford University Press, Oxford.
Hirsch, M. (1985). The chaos of dynamical systems, inChaos, Fractals and Dynamics, P. Fischer and W. R. Smith, eds., Dekker, New York.
Holmes, P. J., and Marsden, J. (1982).Communications in Mathematical Physics,82, 523.
Juhász, I. (1989). Consistency results in topology, inHandbook of Mathematical Logic, J. Barwise, ed., North-Holland, Amsterdam.
Matijasevič, Y., and Robinson, J. (1975).Acta Arithmetica,27, 521.
Nabutovsky, A. (1989).Bulletin of the AMS (New Series),20, 61.
Ribenboim, P. (1989).The Book of Prime Number Records, Springer, Berlin.
Richardson, D. (1968).Journal of Symbolic Logic,33, 514.
Rogers, H., Jr. (1967).Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York.
Stewart, I. (1991a).Nature,352, 664–665.
Stewart, I. (1991b).Nonlinear Science Today,1(4), 8.
Tarski, A. (1948). A Decision Method for Elementary Algebra and Geometry, The Rand Corporation.
Wang, P. (1974).Journal of the ACM,21, 586.
Wolfram, S. (1984).Communications in Mathematical Physics,96, 15.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
da Costa, N.C.A., Doria, F.A. & Amaral, A.F.F.d. Dynamical system where proving chaos is equivalent to proving Fermat's conjecture. Int J Theor Phys 32, 2187–2206 (1993). https://doi.org/10.1007/BF00675030
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00675030