Classical physics and Penrose's thesis

We expose and discussPenrose's thesis: “Nature produces harnessable noncomputable processes, but none at the classical level.” We then suggest a partial counterexample to it, based on aGedanken experiment about an undecidable family of integrable Hamiltonian systems that could lead to a sort of idealized solution to the Halting problem for Turing machines.