30/35
理論だけでは証明にはならない
ネットで多くの証明をしたという話が出てくるが、大抵は理論を語るだけで、証拠を示せていない。
論理だけで説明がつけば、それは大抵未解決問題にはならない。つなげない部分が出てくる。その時、その間をつなぐ証拠が必要になる。
論理に基づいた検証によって、客観的に正しさを示す必要がでる。
コラッツ予想ならば、数字が追いかけられないなら、もう一方の回数を追いかければよい。
論理の特性と、収束回数の特性が一致すればその理論の正当性が示せる。
元の数における計算回数と論理から求めた計算回数に相関関係がみられるならば、論理は外れていないことになる。回数は全体か奇数処理かどちらかでよい。
あなたが有名数学者でもない限り、誰も証拠は見つけてくれない。自分で示すほかにない。それができなければ、その理論は妄想に終わる。現在のAIができる証明は反例を見つけるか、新たな証拠の要らないものだけだ。
学校では、未知のものの証明方法は教えてくれない。機知のものならば、証拠はすでに誰かが示している。
これを完成できた者が、証明者の栄誉を手にすることができるのである。




