130/135

１＋１＝１

構造的証明が広まっているが、今一つ理解されないのは、反転せずに、０を１に置き換えて奇数処理の回数を計算できるとしている点だろう。

かれらは、０と１の違いを理解していない。反転して０を１にする方法では、実際には加算ではなくORとみなすことができる。

０＋０＝０

０＋１＝１

１＋１＝１

0ビット１つを１に変換しても０の個数は増えない。

しかし、１は減ってしまうケースがある。

実際の計算上は同じことなのだが、証明としては致命的な差だ。

これは計算上、＋１ではなくー１としたことでXORというビット演算に変えているから、XORやORで代用できることになる。

加減算をビット演算に変えたことで、1/2を完全に無視できる状況にしているから、説明がいらない。

これを反転しないで説明しようとすれば、コラッツ予想が成り立つことを前提に証明するようなものである。