User blog comment:Nayuta Ito/Introduction To Bashicu Matrix System/@comment-5529393-20160106014720/@comment-24061664-20160107081200

I think you are talking about this page

BashicuHyudora's blog post

The BASIC program that is shown at this page is the only information we have now. I wish if someone can read this code and interpret the meaning and explain it.

The reason that I made a page for Bashicu matrix system only in Japanese page ja:バシク行列システム and not in English page is that I was not sure how to prove that the calculation stops. Recently in 2ch.net, someone posted a brief explanation that the calculation stops here. It says that n-row Bashicu matrix has the strength of a special type of n-th order logic (n-th order "kind"). As I am not familiar with logic, I do not fully understand the proof yet.