The identification of 'decidability' with recursive enumerability presupposes Church-Turing Thesis, ...