再生核研究所

システムの関係で多くの部分をカットする：

再生核研究所声明 743 （ 2024 . 1.25 ) ゼロ除算、最早新世界は覗けない、入れない

永い議論をして来た指導的な数学者とゼロ除算の議論を公開で行なったが、下記のメールで議論は当分打ち切りと、共同研究者　奥村博氏と　せざるを得なくなった：

Dear Saburou,

I am surprised to have your mail again. I am happy and fully convinced with the great work of scholars Brahmagupta, Bhaskara II, Mahavira, Aristotle, Cauchy, Weierstrass, Euler, Newton, Bernoulli, and their numerous followers. They laid the correct foundation of Mathematics by showing that 0/0 is indeterminant, i.e., it is defined only in the limiting sense.

Best,

NOT LIMITTING!!!!

 I attached one typical evidence.

With great pleasure,

Sincerely yours,

Saburou Saitoh

2024.1.15.8:30

ゼロ除算の議論は仲間と数年公開で議論してきたが、そこでは　彼は始終我々の立場を弁護してきていて、今では殆との方が沈黙に至っていただけに　最近の上記の交信には驚かされている：　 いやー、
意外にも、なにも分かっていない方でしたね。奥村博

そこで、飛びの現象、不連続性の概念　が世の理解を妨げている主因だと実感させられた：

再生核研究所声明  737 （ 2024.1.9) : 　まずい用語、虚数とゼロ除算

再生核研究所声明 738 （ 2024.1.16)  : ゼロ除算の理解の難しさ、ゼロ除算の奇怪な事実

更に多くの指導的な数学者は、余りにも大きな変化、新世界であるので、そのような世界の研究には入れないと考えているように考えて来た。　今更　新しい世界の探検には　入れない。

そのような時、次のような情報を得た：

２０２４． １．２２．８：５０

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Yes. So do Coq and Isabelle and many other theorem provers.

Doesn’t that lead to contradictions?

No. It just means that Lean’s  / symbol doesn’t mean mathematical division. 

Does making that definition give us a contradiction in mathematics? No, of course not! It’s just a definition. Lean uses the symbol 

But doesn’t that lead to confusion?

It certainly seems to lead to confusion on Twitter. But it doesn’t lead to confusion when doing mathematics in a theorem prover. Mathematicians don’t divide by 0 and hence in practice they never notice the difference between real.　and mathematical division (for which 1/0 is undefined). Indeed, if a mathematician is asking what Lean thinks 1/0 is, one might ask the mathematician why they are even asking, because as we all know, dividing by 0 is not allowed in mathematics, and hence this cannot be relevant to their work. In fact knowing real. is the same as knowing mathematical division; any theorem about one translates into a theorem about the other, so having real.　is equivalent to having mathematical division.

What is the Xena project?

My name’s Kevin Buzzard and I’m a professor of pure mathematics at Imperial College in London, specialising in arithmetic geometry and the Langlands program, a branch of modern algebraic number theory. I believe that digitising mathematics is important, for the simple reason that digitising anything enables you to do new things with it.

Currently the computer proof systems we have are not good enough to tell mathematical researchers anything new about the  Langlands program or other trendy Fields Medally things, so the top mathematical researchers tend not to be interested in them. However I am not so crazy to believe that they will never be useful to us, and the point of the Xena project is to make it happen sooner.

英語から翻訳 - ケビン・マーク・バザードは英国の数学者であり、現在はロンドンのインペリアル・カレッジで純粋数学の教授を務めています。彼は数論幾何学とラングランズプログラムを専門としています。

原文を見る

学歴：

映画：

受賞歴：  (2002 年 ) 、 (2008 年 )

学術アドバイザー： リチャード・テイラー

我々は Isabelle がゼロ除算 1/0=0 その他の結果を保証している事実と関係情報を Jose Manuel Rodriguez Caballero

から得ていたが　上記に　 Yes. So do Coq and Isabelle and many other theorem provers.

と相当信頼される数学者によって述べられていることが分かる。（尚、上記論争は Jose 氏の検証報告の後　速やかに収束した事実が存在する）。

　他方、 Google は　ゼロ除算について　２０２４．１．２３．２１：２０：　

生成 AI は試験運用中です。

ゼロ除算とは、ある数を 0 で割ることです。数学では定義できない計算と解釈され、コンピュータ上では実行不能としてエラーを生じたり、無限大を表す特殊な値を結果とすることがあります。

ゼロ除算

ゼロ除算（ゼロじょさん、 0 除算、英語 : division by zero ）とは、 0 で除す割り算のことである。このような除算は除される数を a とするならば、形式上は a/0 と書くことが  .

となっているが、これは下記のように出ていたことが、　出たり変わったりしていて、今は検討中のようである。正規に、真相を明かにするように要求している：

Google 　はゼロ除算について、　情報がコロコロ変わっている。今朝は下記のように、 1/0=0 　ゼロ除算は可能か　となっている。当然真実は生き残り、膨大な記録は消えて行くだろう。　教科書，学術書は　変更されなければならない。２０２３．１２．３１．６：１１

ゼロ除算

ゼロ除算（ゼロじょさん、 0 除算、英語 : division by zero ）とは、 0 で除す割り算のことである。このような除算は除される数を a とするならば、形式上は a/0 と書くことが  ...

関連する質問

0 は除算できないのはなぜ？

0 による除算とは何ですか？

ゼロ除算は可能か？

何を 0 で割っても ゼロです。 2022/04/22

検索 : 

ゼロ除算の不定は？

0 の掛け算 何年生？

現在  Google 　でゼロ除算を検索すると、古い当たり前のことが　出て来る。そこで　図をみると楽しい、矛盾したことが　沢山出て居る。

矛盾したことが　世に反乱している。

社会的に　数学に責任を有する機関は　無いのでしょうか。

世に矛盾がはびこり、混乱している　ゼロ除算

２０２４．１．１３．８：５７

同じくゼロ除算算法をみると、ゼロ除算の内容と　矛盾している。

世の混乱を　そんなに永く野放しにしていて良いものだろうか。

我々は　現代数学は欠陥に満ち、恥ずかしいものであると述べ、　数学界の在りようも可笑しいとしている。

このような状況があるのを見て、奥村氏と我々は　世界の権威ある機関の認知を正規に要求する事とした。しかし、数学界を代表する方々は　目もくらむような高等数学の研究者の関係者で　初歩数学に対する思いに心がゆかず、事の重要性を認識されないのではないかと畏れている。　しかし、どんどんあらゆる手段を用いて　世の理解を求めて行く事としている。

　はフランスの、

Coq は　アメリカの関係、大きなソフト会社であることが分かった。他にも多く有ると述べられている。そこで、国際的な競争関係が激化しているようだ。マル秘で適切な回答が得られない。　 　はイギリスとドイツの連携の巨大なシステム。１９８０年代から 1/0=0 を認識していたという。

彼らの分数　 　の定義と我々の拡張分数、割り算の定義は　同じである。　我々は高橋の一意性定理によって動機付けや山田体の構成で　そう宣言した。ゼロ除算算法から基本性質を導いている。上記検証は我々の理論を保証している。　沢山されているようである。２０２４．１．２４．２０：３４

　以　上

２０２４． １．２３．２１：３２　纏めずらい内容だが、成文化してみた。

２０２４．１．２４．５：５０　快晴、春の訪れを予感させる。最後の文が夢うつつに現われて目を覚ました。夢の中で重苦しい感じだった。心は相当気にしていることが分かる。それが私である。

２０２４．１．２４．８：４６　良い、寒いが良い天気で、春の予感をさせる美しい日。

２０２４．１．２４．９：２０　良い。

２０２４．１．２４．１１：４７　早春の美しさ。　午後山仕事を考えている。

２０２４．１．２４．１５：２３　山仕事時間程してくる。流石、少し寒め。　これは良い。明朝完成できるだろう。

２０２４．１．２４．１８：３０　良い。

２０２４．１．２４．２０：０４　上記で、

Lean 　はフランスの、

Coq は　アメリカの関係、大きなソフト会社であることが分かった。他にも多く有ると述べられている。そこで、国際的な競争関係が激化しているようだ。マル秘で適切な回答が得られない。　 Isabell 　はイギリスとドイツの連携の巨大なシステム。１９８０年代から 1/0=0 を認識していたという。

彼らの分数　 f(x,y) =x/y　の定義と我々の拡張分数、割り算の定義は　同じである。　我々は高橋の一意性定理によって動機付けや山田体の構成で　そう宣言した。ゼロ除算算法から基本性質を導いている。上記検証は我々の理論を保証している。　沢山されているようである。２０２４．１．２４．２０：３４

２０２５． １．２４．２１：４８　重要なので　上記本文に入れた。

２０２４．１．２５．５：４４　最終講義最終日から 15年：　 相当な計算機システムがゼロ除算 1/0=0を2020年には認識、相当に広まっていたことが分る。しかも　それらが秘密で行われ、出て来なかった。 ２０２４．１．２５．５：３５ 　新しい情報で忙しいが、これはこれで良いとする。完成、公表２０２４．１．２５．５：５２