User blog comment:Sbiis Saibian/Order of the Kasnerites/@comment-30118230-20170114180159/@comment-5982810-20170114201712

When I say we should recognize ourselves as something outside the mathematical establishment I in no way mean to imply that we should abandon mathematical rigor. On the contrary we must strive to incorporate more and more of it to compete with the establishment.

What I'm arguing is what is signified by "we". If by "we" we mean anyone whose work relates to large numbers then a statement like the following could be made:

"Googology is already very rigorous, just look at finite promise games. We report on the good and the bad, there is no need to improve"

From an encyclopedic point of view, the reporting of something is not an endorsement. But who are we kidding, this wiki is more than an "encyclopedia of the literature". It's the breeding ground for the bowerIan cultural itself. But the key thing is if we don't acknowledge and try to shape that cultural it will absolutely devolve because people are going to keep coming up with googolism's whether we like it or not. It's going to keep expanding and I don't think it's reached its peak yet. There are lots of hard questions this community is not asking about itself.