Abstract:
Proving that a dynamical system is chaotic is a central problem in chaos
theory [11]. In this note we apply the computational method developed in [4,
2, 3] to show that Fermat’s last theorem is in the lowest complexity class CU,1.
Using this result we prove the existence of a two-dimensional Hamiltonian
system for which the proof that the system has a Smale horseshoe is in the
class CU,1, i.e. it is not too complex.