User blog comment:Ubersketch/Submit a paper/@comment-35470197-20190515010608/@comment-35470197-20190517005230

> I'm pretty sure Laver tables were made for set theoretic purposes, not large numbers (though usually large numbers and set theory go together.)

Right. So you meant that a paper for set theoretc purposes is not a paper on googology even if it is devoted to an estimation of large number. Ok.

> Also, I've already seen proofs about googology written by googologists, so formal training could or could not be a problem depending on who is writing the proof.

Of course. I meant that there are few googologists who can write a proof which is sufficiently formal, i.e. is considered to be published in a valid journal. "Proofs" in this wiki usually contain serious mistakes.