User blog comment:Ecl1psed276/BM2 Analysis - A Summary/@comment-30754445-20180709051740/@comment-27516045-20180711135700

@PsiCubed2

You seem to be getting almost irrationally angry of people not well-defining everything, and thinking people don't know what a compact cardinal is, and BM2 having not been proven to always terminate. About these:

First, I'll let it be known that i've always prefered an informal explanation to a long and complicated definition. take a look at, say, Hyp cos's definition of DAN on his website, and tell me if you think that makes sense and you could solve an expression in DAN using that ruleset.

Second, I'll also admit to having no knowledge of set theory. but I don't need to know what exactly a compact cardinal is in set theory terms to be able to understand how it works in OCFs. Heck, I don't understand why that specific cardinal is used, in effect I just treat K as a "shorthand" for C(1;0;0) in my ordinal system.

And finally. it'd probably be very hard to prove that BM2 always terminates. It's probably a lot easier to prove something doesn't terminate than to prove it does terminate.

In summary, you do seem to be getting irrationally angry at times. In my view: if you don't like what people are doing, fine - don't bother commenting on it, or at least calm down before doing so.