TY  - RPRT
TI  - The Complexity of Proving Chaoticity and the Church-Turing Thesis
AU  - Cristian S. Calude
AU  - Elena Calude
AU  - Karl Svozil
PY  - 2010
DO  - 10.1063/1.3489096
UR  - https://arxiv.org/abs/1006.2951
ID  - 1006.2951
ER  -