User blog:RomanescoLover355/Bashicu Matrix Analysis Up To and Surrounding KurohaKafka's Analysis

Prologue
Recently wiki user Kuroha Kafka wrote a blog post in which he set forth a brief analysis of the Bashicu matrix system, which if confirmed would extend our knowledge up to \((0,0,0,0)(1,1,1,1)\), (or \(\left(\begin{array}{cc} 0 & 1 \\ 0 & 1 \\ 0 & 1 \\ 0 & 1\end{array}\right)\) if I am correct) - a leap forwards for sure!

In the matter of confirming these figures though, there's clearly a large gap between results, so I'm going to create an analysis which will hopefully fill in these gaps and make it easier for others to critique Kuroha's work, which I actually put a measure of faith in on account of his contributions to the Japanese Wiki.

Pair Sequence Analysis
As I do not understand how the Bashicu matrix system operates as of the time of writing this sentence I will be firstly analyzing the pair-sequence system to it's proper limit, then the BM1 and BM2 systems respectively. The issue concerning analysis however is that once I've worked out part of the analysis and feel I've grasped it fully I'll need to stop for the day and then tomorrow I'll have have to regain the initial moment of mental clarity by working up to speed again in a few dozen comparisons, after which I'll make some progress, only to lose the steam some more the next day, ad.

This is the explanation I offer to those who will inevitably see me seeming to spend eons, (in a purely hyperbolic sense), on the smaller ordinals, in addition to my inexperience with larger ordinals in general. However, I eventually intend to discover the limit of the Bashicu matrix system. I'll be using Taranovsky's-C notation to do so, as it seems the only notation capable of easily expression isomorphic ordinals in Bashicu's notation, and it will also afford me the chance to learn more of Taranovsky's C.

Progress:2/5,000 (I figure by the time I get to 5,000 comparison's I'll have learned something. )

\(\color{#00FF00}{\Rule{0.2px}{3ex}{0ex}}\color{#FF0000}{\Rule{500px}{3ex}{0ex}}\)