最後に、臨場感を示すために最新の情報について付記して置く。 S. K. Sen and R. P. Agarwal, ZERO A Landmark Discovery, the Dreadful Void, and the Ultimate Mind, ELSEVIER, AP(2016) が 出版され、我々の初期の論文がIntroductionで2ページに亘って議論されていて、数学の論理を無視して、 “Thou shalt not divide by zero” remains valid eternally. と結論づけ、Brahmagupta (598 -668 ?) の結果0/0=0さえ否定している。そこで、直接ドイツ オーベルバッハ研究所で 不等式の国際会議で会ったことのあるAgarwal 教授に我々の結果を送ったところ、誤りを認めるようなメールを受け取った:
The dates we have written in our book are correct. All books of Mathematical history have made mistakes. Wish you best, Ravi
José Manuel Rodríguez Caballero Added an answer In the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. This is advantageous in order to simplify the proofs. You can download this proof assistant here: https://www.researchgate.net/deref/https%3A%2F%2Fisabelle.in.tum.de%2F ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算x/0=0 を導いた その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。 責任者とは交流がありましたが、大したことではない と 言っていましたが、 実は 相当なことを 大きなグループで 完成していたと 考えられます。 2値や 大事な \tan(\pi/2)=0 も できているので、驚嘆です。 2019.2.17.20:05