再生核研究所

ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0　を導いた

数学界では　やっては　ならない　第一の戒律　ゼロで割ることを考えてはならない、その戒律を破り、どんどん新世界を拓く計算機が　現れた。

既に、計算機のソフトの分野で、日本はイギリス、ドイツに後れをとっている。
ゼロ除算回避の計算機となれば、それで既に歴史的で、　知的財産権に繋がる。
アメリカの　様子が気になる。

さらに２０１９．２．１６．　夜、計算機が　ゼロ除算ができるとの情報が入り、本人と連絡が取れた：

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://isabelle.in.tum.de/
ケンブリッジ大学とミュンヘン工科大学のIsabelle 計算機システムはゼロ除算ｘ/0=0　を導いた
その後 質問に対して　回答があり、　添付のように　信じられないほどに　ソフトが完成されていることを見て、驚嘆させられています。
責任者とは交流がありましたが、大したことではない と 言っていましたが、　実は 相当なことを　大きなグループで 完成していたと　考えられます。
2値や　大事な \tan(\pi/2)=0　も できているので、驚嘆です。
２０１９．２．１７．２０：０５