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

@PsiCubed2

"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."

'''If a person sometimes/often do informal analyses (which you call "foolish"), it does not mean he/she cannot do formal analyses (with rigorous proof). There can be a person that does both. Sometimes doing informal analyses does not imply when he/she does a proof it is always wrong.'''

Whether a proof is right or not does not depend on the person or the other things the person has done before.

@Syst3ms

"Most of us refer to Nish's ruleset for BM2."

'''Define "Nish's ruleset for BM2". (I don't mean explanation, and I don't mean a rigorous definition (Like the one I wrote in my blog post for PSS) either. What I mean is an unambiguous definition (which does not have to be formal (using logic symbols like how mathematicians write.) .) '''

@P進大好きbot

"Hmm...? You mean that I should write down the proof here, right? But rpakr will do."

'''Note that I might not be able to do it. It is going to be hard for me. (But I don't mean it is impossible)'''