User blog comment:Nayuta Ito/Brand-new Googologism from Algebra/@comment-1605058-20170924105823

Very nice idea! For the record, the function is uncomputable as a corollary to Matiyasevich's theorem.