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.
Srž drugog pitanja jest postoji li drugi razuman model izračunljivosti koji izračunava samo totalne funkcije i izračunava sve totalno izračunljive funkcije.