0で割る問題、『数学の新ルール』で解く？

『公理系』って何？ルールを『定義し直す』ってどういう意味なの？

公理系というのは、数学ゲームのルールブックのようなものです。チェスでいえば「ポーンは1マス進む」「ルークは直線」といったルールが定められたら、あとはそのルールだけを頼りにゲームを進める。数学も同じで、「1足す1は2」「ゼロで割ってはいけない」といった基本的なルール（公理）を決めたら、そこから一貫性のある世界が広がっていく。その世界全体が「公理系」です。 では「ルールを定義し直す」というのは何か。実は数学には複数の公理系が存在していて、同じ問題でも異なるルールセットで挑むと、別の答えが出ることがあります。この論文が提案しているのは、「ゼロで割ってはいけない」というルールを外すのではなく、「N ÷ 0 ≡ N」という新しいルールに置き換える、ということ。つまり、ゼロで割るという操作そのものに意味を与え直そうとしているわけです。ポーンを「2マス進める」に変更するような感じで、新しいルールの世界で改めて数学を組み立て直したら、これまで解けなかった難問が見える化するんじゃないか、という仮説に見えます。

0で割るのが『許される』ようになったら、高校までの数学の問題も答え方が変わっちゃうってこと？

高校までの数学が全部書き換わるわけじゃなくて、むしろ「例外を減らす」という感覚に近いと思います。 いま高校で習う数学は、「0で割るな」という禁止を前提に組み立てられてる。だから分数の約分とか、極限の計算とか、いろんなところで「この条件下では」という限定が入る。その限定がいちいち面倒だから、数学が「重い」という側面がある。 新しいルール「N ÷ 0 ≡ N」を入れたら、逆説的だけど、その限定が要らなくなる可能性があるんです。つまり、より少ない例外で、もっと統一的に説明できる体系が できるかもしれない、ということ。 ただし——ここが大事なんですが——仮にこれが認められても、高校の入試問題の正解が急に変わることはほぼないでしょう。なぜなら、古い体系の中でも新しい体系の中でも、日常的な計算（2次方程式を解く、とか）の答えは同じになるように設計されるから。 むしろ変わるのは、「なぜそのルールなのか」という根拠。今は「0で割るな、だから」で済まされてることが、「この統一的な枠組みの一部だから」と説明できるようになる、くらいの話かもしれません。

『0で割ってはいけない』ってルール、いつ誰が決めたもので、これまで誰も変えようとしなかったの？

0で割る禁止は、「誰かが決めた」というより「できない」という事実から逆算されたルールなんですよね。 たとえば、6÷2=3という計算は「3×2=6を満たす数は何か」という逆算問題です。では6÷0は「0×？=6を満たす数は何か」という問いになる。どんな数を掛けても0は0のままだから、そんな数は存在しない。だからこの操作は定義できない——ここが根っこです。 古代バビロニアやエジプトの時代から、数学者たちはこの問題に気づいていました。ただ「禁止する」というより「そもそも意味がない」として扱ってきた。17世紀の微積分の発展でも、0で割る直前の「限界」を調べることで、むしろこの禁止を強化していきました。 これまで誰も本気で変えようとしなかった背景には、0で割ることが「数学の根本的な矛盾」に直結するからです。新しい公理系を導入する提案は、その矛盾を『受け入れる』のではなく『違う枠組みで定義し直す』という逆転の発想になっていて、だからこそ挑戦的に見えるのかもしれません。

これって『古いルールが絶対だと思ってたけど、実は別のルールの方が整合性がある』という発見、よくある話なの？

数学と物理の歴史を見ると、ルール自体を張り替える発見は確かに起きています。ただし「よくある話」ではなく、むしろ文明のターニングポイントになるような出来事なんです。 たとえば平行線公準。ユークリッド以来、「平行線は交わらない」というルールは絶対だと思われていた。それを疑って「実は交わる幾何学も論理矛盾がない」と気づいたのが19世紀。その新しい幾何学がなければ、アインシュタインの相対性理論は生まれなかった。虚数もそう。「負の数の平方根は存在しない」という禁止を破ったら、電磁気学全体が統一的に説明できるようになりました。 ゼロで割る問題の場合、千年単位で触れられてこなかった禁止を動かそうという点で、そういう大転換の匂いはあります。ただ、提案があるだけで学界が受け入れるまでには、通常は数年から数十年の厳密な検証期間がある。平行線の非ユークリッド幾何学も、最初は「そんなの数学じゃない」と退けられていたわけです。新しいルール提案は野心的ですが、実際に「整合性がある」と認められるのは、科学の中でも特に稀な瞬間になり得るということですね。

このルールが変わると得する人・分野と、困る人・分野がいるんじゃないの？

いい着眼です。実際には、このルール変更が通れば、得する側と困る側の力学が生まれるんですよね。 得する側は明らかです。物理学者、特に特異点の扱いで苦労してきた重力波研究やブラックホール物理の人たち。コンピュータ科学者も、IEEE 754 の矛盾が解決されれば、浮動小数点計算の堅牢性が上がる。ミレニアム問題が解ければ賞金を得られる人も出てくる。 困る側は、むしろ「既得権」というより「心理的な転換コスト」を抱える人たちです。数十年かけて現在のルールの上に理論を積み上げた数学者。教科書業界。教育カリキュラムを組んだ学校。彼らは新公理系で既存の成果をすべて検証し直さなければならない。 でも深く見ると、最も厄介なのは「ルール変更の正当性をめぐる権力闘争」かもしれません。数学の「禁止」を誰が、どんな手続きで「許す」のか。それを決める権威が、学界内で揺らぐ。革新は常に、既得の「正しさ」に異議を唱えることから始まるのだと言えそうです。