User blog comment:Boboris02/MBOT/@comment-30167082-20161218151736/@comment-30167082-20161218183312

Hmm... I'm quite skeptical. It looks like a computable function awkwardly attached to the busy beaver function in a semi-salady way. I know you worked hard on this, but you might want to look at what FOST can do. Essentially, by looking at truth of some particular model, it doesn't seem ill-defined. If one simply equates symbols to, in a way, words they run the risk of making ambiguous expressions, despite intention. At the very least, it's not googologically precise.