User blog:Bubby3/BMS controversy

Note: Most of the time when I refer to BMS without a version, I refer to BM2.3

Right now, BMS is very contraversial, as a lot of people doubt how strong we claim it. They keep saying something like: "BMS can't go beyond weakly coompact cardinas as it is too simple" In this post, I am going to show that BMS, in partictualar BM2.3, doesn't deserve all this controversy that it is been getting so far.

One argument that people use againt BMS is thait is too simple to reach so high. The reason is that BM2.3 is actually more complicated than it appears, in particualar the upper-branch moving ascencion matrix calculation method. And even if it is so simple, we don't know that our existing methods are the most efficent, and there is almost certaintly a simpler notation tat takes us further.

Another critisim people make against BMS is that our analysises are just lists of comparisons. The reason is that the explanations will be too long-winded and convoluted, and will be too deifficult, and you'll understand if you see every comparison of the list. The reason it is detailed is so your mind can fill in the gaps in the analysis (more than just "intuition") and verifiy the comprisons.