@article{calude:037103, author = {Cristian S. Calude and Elena Calude and Karl Svozil}, collaboration = {}, title = {The complexity of proving chaoticity and the {C}hurch--{T}uring thesis}, publisher = {AIP}, year = {2010}, journal = {Chaos: An Interdisciplinary Journal of Nonlinear Science}, volume = {20}, number = {3}, eid = {037103}, numpages = {5}, pages = {037103}, keywords = {chaos; computability; mathematics computing; nonlinear dynamical systems}, url = {http://dx.doi.org/10.1063/1.3489096}, doi = {10.1063/1.3489096} }