Text this: The complexity of proving chaoticity and the Church-Turing thesis.