关于计算理论的几点思考