Showing 1–1 of 1 results for author: Calude, E

The Complexity of Proving Chaoticity and the Church-Turing Thesis

Authors: Cristian S. Calude, Elena Calude, Karl Svozil

Abstract: Proving the chaoticity of some dynamical systems is equivalent to solving the hardest problems in mathematics. Conversely, one argues that it is not unconceivable that classical physical systems may "compute the hard or even the incomputable" by measuring observables which correspond to computationally hard or even incomputable problems. Proving the chaoticity of some dynamical systems is equivalent to solving the hardest problems in mathematics. Conversely, one argues that it is not unconceivable that classical physical systems may "compute the hard or even the incomputable" by measuring observables which correspond to computationally hard or even incomputable problems. △ Less

Submitted 21 August, 2010; v1 submitted 15 June, 2010; originally announced June 2010.

Comments: 13 pages, new proof of the main theorem

Report number: CDMTCS preprint nr. 384/2010

Journal ref: Chaos: An Interdisciplinary Journal of Nonlinear Science 20(3), 037103 (2010)