Comment Comment by soist The Church-Turing thesis is a meta-mathematical statement and it neither has a proof nor disproof. In any case, this discussion has run its course. parent soist 2 years ago