amubwira ko afite ipamba ryuzuye inzu tariki ya eshatu nyakanga because these three properties are not formally stated the church turing thesis cannot be proved