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

ケンブリッジ大学とミュンヘン工科大学の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　も できているので、驚嘆です。 ２０１９．２．１７．２０：０５