再生核研究所

再生核研究所声明 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