User blog comment:Pellucidar12/Proof length function/@comment-1605058-20161226131313/@comment-1605058-20161229114104

Ah, I misunderstood what you mean by a "model" (I thought you mean a ). With that I completely agree.

As for the Emlightened's argument - yes, it applies to the uncomputable version of this function as well, but whether this renders the function ill-defined is literally a philosophical matter.