PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.02.19
カテゴリ： カテゴリ未分類
関係者各位：
２月１６日 ケンブリッジ大学とミュンヘン工科大学の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/
と の情報を得ました。 その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。
確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。
そこで、気になってきたことは、
１）日本の計算機システムの構築に後れをとることの危惧、
３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること。
そこで、数学の研究と教育に携わる方及びそれらに関係する方に 情報をお送りする次第です。ご参考にして頂ければ 幸いです。
下記で、ゼロ除算について解説しているので、参考にして 下さい.
数学基礎学力研究会 サイト：
http://www.mirun.sctv.jp/~suugaku/
敬具
齋藤三郎
２０１９．２．１９．１９：５０
２月１６日 ケンブリッジ大学とミュンヘン工科大学の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/
と の情報を得ました。 その後 質問に対して 回答があり、 添付のように 信じられないほどに ソフトが完成されていることを見て、驚嘆させられています。
確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実です。 新世界の値を 計算機が導いているということです。
そこで、気になってきたことは、
１）日本の計算機システムの構築に後れをとることの危惧、
３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること。
そこで、数学の研究と教育に携わる方及びそれらに関係する方に 情報をお送りする次第です。ご参考にして頂ければ 幸いです。
下記で、ゼロ除算について解説しているので、参考にして 下さい.
数学基礎学力研究会 サイト：
http://www.mirun.sctv.jp/~suugaku/
敬具
齋藤三郎
２０１９．２．１９．１９：５０
お気に入りの記事を「いいね！」で応援しよう
Last updated
2019.02.19 20:01:52
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
