User blog comment:Googleaarex/Bashicu Matrix System Analysis (Part 1)/@comment-30754445-20170724222847/@comment-24061664-20170725031431

I am giving 3 reasons.

1. The fact that no one has succeeded in proving or disproving the termination of BM2 is itself a proof of its strength. It is just like analyzing a TM which is not known to terminate. We do not even know that it is able to prove or disprove the termination. Remember that there is no algorithm that can prove or disprove the termination of all of the TM. TM that is not known to terminate is even more interesting than that is known to terminate. 2. BM is well founded up to the point we can analyze with SAN or other system that is well founded. We are therefore proving the well foundedness of a certain types of BM. 3. During the process of calculation, we may be able to find a way to prove or disprove the termination. Even after it is disproved, BM2 might be able to be updated to BM3 just like BM1 was updated to BM2.