Delete 2013-07-13-church-turing.md