The second question asks, in essence, whether there is another reasonable model of computation which computes only total functions and computes all the total computable functions.
第二个问题在本质上问是否有另一个合理的计算模型只计算全函数并计算所有全可计算函数。