User blog comment:P進大好きbot/Please Help me on study of Pair Sequence System (2-rowed Bashicu Matrix System)/@comment-30754445-20180813155654/@comment-30754445-20180817115700

@Rapkr

"But not everyone agrees"

Those disagreements are nothing more than minor quibbles.

I don't see either you or P-bot having any qualms about cooperating with the general foolishness that's going on around here. Yes, your own ideas are often more rigorous, but you're still actively participating in a collective process of "reasoning" which is utterly rediculous.

It is this process, rather than your specific personal contributions, that I'm refusing to accept as legitimate. I mean, obviously, people are free to do whatever they want... But I'm refusing to accept this kind of "work" as actual googology.

And I'm not alone in this. I don't recall Deedlit or Hyp Cos or LittlePeng or any of the other math pro veterans ever showing any interest in this kind of "work". Ever wondered why?

There's also an increasing number of relative beginners who understand the absurdity of the situation and refuse to participate. I have an utmost repsect for these people, who follow simple common sense instead of joining the hype.

Now, you want the BMS thing to be taken more seriously? Tell your fellow men to shape up and stop fooling around.

"Also, if someone wrote a blog post that shows the proof that, for example, BM1 (0,0)(1,1)(2,1)(3,1)=Γ_0"

Yes.

Because:

(1) We all agree on the ruleset of BM1, which are quite simple.

(2) That claim actually has a decent chance of being true.

So yes, I'll give such a post a chance.

Of-course, if I see that the reasoning is already sloppy on line 3, I won't bother to continue further. I won't require that the post be perfect and 100% error-free, but it would need to show some serious effort.

"BM2 (0,0,0)(1,1,1)=U(Ω_ω), will you read it?"

Without some serious prep work, no.

First of all U (as in UNOCF) is ill-defined. No, an attempt at a definition by a person how doesn't know the basics of how OCFs work, doesn't count. And if you use ψ instead of U, then you better state explicitly which version of the ψ-function you're using (Madore? Bucholz? Deedlit's?) and remain consistent with that choice.

Secondly, there's no agreed-upon rule-set for BM2. There are guesses and there are conjectures but no agreed-upon rule set. So you'll need to:

(1) state explicitly which rule-set you are refering to.

(2) make sure that you're following these rules and only these rules in your proof.

Keep in mind that actually calling it "BM2" would be a bad idea... unless you can also prove that the rule-set you've given is exactly equivalent to the computer program given for BM2.

So it will probably be easier to just label your conjectured ruleset with new index (say - BM2.5) and then proceed to prove that "BM2.5 (0,0,0)(1,1,1)=ψ(Ω_ω)". As I side note, you'll probably want to start by proving that (0,0)(1,1)(2,2) reaches the BHO, given the rule-set of your choice. If nothing else, it would make your OCF-based expressions less ambigous, because there's only one accepted way to write ordinals below the BHO (unless you use UNOCF, which you really really shouldn't).