PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2020.04.28
カテゴリ： カテゴリ未分類
再生核研究所声明 479(2019.3.12) 遅れをとったゼロ除算 － 活かされない敗戦経験とイギリスの畏れるべき戦略
ケンブリッジ大学とミュンヘン工科大学の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構築の責任者とは 相当以前から交流があったが、1/0=0 は convention で大したことではない と 言っていた。 （ － これはゼロ除算算法の著書素案に氏のメールを引用、責任者にも素案を送って確認している。） しかし、実は 相当なことを 大きな研究グループで ゼロ除算を発展させていた。 ここであるが物件で示せる事実は 次のようである：
Dear Saitoh,
In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depend upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero.
\tan(\pi/2) = 0,
$$
$$
\log 0 =
$$
is undefined (but we can redefine it as $0$)
$$
e^0 = 1,
$$
(but we can redefine it as $0$)
$$
$$
(but we can redefine it as $0$).
In the attached file you will find some versions of logarithms and exponentials satisfying different properties. This file can be opened with the software Isabelle/HOL from this webpage: https://isabelle.in.tum.de/.
Kind Regards,
José M.
At 2019.3.4.18:04 for my short question, we received:
It is as it was programmed by the HOL team.
Jose M.
On Mar 4, 2019, Saburou Saitoh wrote:
Dear José M.
I have the short question.
For your outputs for the division by zero calculus, for the input, is it some direct or do you need some program???
With best regards,
Sincerely yours,
Saburou Saitoh
2019.3.4.18:00
下記は相対性の理論から0/0=１を永年主張されている方へのメールの一部で、公論の形をとっている：
2019.3.6.15:23: To accept that x/0 = 0 produces no contradiction, using the rules of Isabelle/HOL. You could download the software and try to prove that 1 = 0 (this will be impossible). http://isabelle.in.tum.de/
There are millions of dollars invested in Isabelle/HOL, where x/0 = 0 (this is not a joke): https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/
Prof. Saitoh derived that x/0 = 0 from pure geometric intuition and he was right.
2019.3.8.22:23: The deduction that z/0 = 0, for any z, is based in Saitoh's geometric intuition and it is currently applied in proof assistant technology, which are useful in industry and in the military.
ゼロ除算については、発見 （２０１４．２．２） 後 ５年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が 毎日のようになされている。
そこで、計算機のゼロ除算可能、成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 － 出来るだけゼロ除算発展の経過を記録して置くためである。
先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、ここでは1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。兎に角、計算機が１/０=０ 等を出力したというのであるから、数学では、数学界では考えられない値を出したのだから、その意義は極めて 大きいと言える。－ このことの真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を 間違いではなく、意味のある結果であると 評価しているということである。 意味のない結果をドンドン出す計算機システムを公開することは 意味がないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによる ゼロ除算算法の認知 として考えられる。
確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということである。
そこで、問題は
１）計算機システムの構築に、特に数式処理、論理などで新規な現象として大きな影響が出てくるのでは ないだろうか,
２）世界の数学界が ゼロ除算で後れをとり、数学界の汚点になりかねないこと、
３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、
４）新しい手段（道具）が生まれたので、その広範な応用、理論の発展が注目される。
特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタインの人生最大の問題とされてきたように 物理などへの影響が注目される。他の関心 計算機のゼロ除算回避と応用は 急速に進むものと考えられる。
しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界、時代に入り、世界史は 新しい時代を迎えるだろう。
要するに新しい数学、ゼロ除算が現れたが、 日本では毎回のように日本数学会などで講演したり、理解を求める努力をしてきたが、理解されず無視されるような状態が続いていた。 これは 信用、信頼のなさの無能力さを示している。
ところがケンブリッジ大学とミュンヘン工科大学の連携で 政府と軍の膨大な補助の下で 計算機開発が進められていた。Isabelle が 私たちの幾何学的な考察を適用し、 既に広く 運用され、それは既に 揺るがない という 事である。 その大きなシステムで大きな存在であることは、既に理論を越えて、ゼロ除算は 実在していると判断できる。
上記文で、軍事、産業で有益と述べられている。
我々の知らない間に 計算機に実現、応用されているという事実である。
この事実は 第２次世界大戦で、イギリスが アメリカに先んじて計算機を開発していたのに 永年機密にして戦勝した事実を想起させる。 その精神は
１） 新奇なものを尊重、関心を懐く精神、
２） 情報に対する 重視、
３） 国家戦略の凄さ
これらは、日本の弱点と感じられる。八木－宇田アンテナの例も想起される。
このようなことは、数学の教育と研究に義務を負う者に対しては、ある意味で責任問題に繋がらないかと危惧される。繰り返し、初等数学には不備がある、欠陥があると述べて来た。これは、世界の数学界の汚点と記録されるのではないだろうか。
（２０１９．３．９．１５：５５）
ゼロ除算については、下記で５５カ月を越えて解説を続けてきた：
数学基礎学力研究会 サイト：
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/
その後 我々が導いていた いろいろな公式について、できるかとの質問に対して 回答があり、 信じられないほどに ソフトが完成されていること（出力結果）を見て、驚嘆させられた。 Isabelle構築の責任者とは 相当以前から交流があったが、1/0=0 は convention で大したことではない と 言っていた。 （ － これはゼロ除算算法の著書素案に氏のメールを引用、責任者にも素案を送って確認している。） しかし、実は 相当なことを 大きな研究グループで ゼロ除算を発展させていた。 ここであるが物件で示せる事実は 次のようである：
Dear Saitoh,
In Isabelle/HOL, we can define and redefine every function in different ways. So, logarithm of zero depend upon our definition. The best definition is the one which simplify the proofs the most. According to the experts, z/0 = 0 is the best definition for division by zero.
\tan(\pi/2) = 0,
$$
$$
\log 0 =
$$
is undefined (but we can redefine it as $0$)
$$
e^0 = 1,
$$
(but we can redefine it as $0$)
$$
$$
(but we can redefine it as $0$).
In the attached file you will find some versions of logarithms and exponentials satisfying different properties. This file can be opened with the software Isabelle/HOL from this webpage: https://isabelle.in.tum.de/.
Kind Regards,
José M.
At 2019.3.4.18:04 for my short question, we received:
It is as it was programmed by the HOL team.
Jose M.
On Mar 4, 2019, Saburou Saitoh wrote:
Dear José M.
I have the short question.
For your outputs for the division by zero calculus, for the input, is it some direct or do you need some program???
With best regards,
Sincerely yours,
Saburou Saitoh
2019.3.4.18:00
下記は相対性の理論から0/0=１を永年主張されている方へのメールの一部で、公論の形をとっている：
2019.3.6.15:23: To accept that x/0 = 0 produces no contradiction, using the rules of Isabelle/HOL. You could download the software and try to prove that 1 = 0 (this will be impossible). http://isabelle.in.tum.de/
There are millions of dollars invested in Isabelle/HOL, where x/0 = 0 (this is not a joke): https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/
Prof. Saitoh derived that x/0 = 0 from pure geometric intuition and he was right.
2019.3.8.22:23: The deduction that z/0 = 0, for any z, is based in Saitoh's geometric intuition and it is currently applied in proof assistant technology, which are useful in industry and in the military.
ゼロ除算については、発見 （２０１４．２．２） 後 ５年を経過し、論文や国際会議、日本数学会でも公表しているにも関わらず、公には未だ認知されているとは言えず、数学界でも、世間でも ゼロで割ってはいけないは 未だ定説になっていて、インターネット上では 不適当な議論が 毎日のようになされている。
そこで、計算機のゼロ除算可能、成功の歴史的な事実 に関して、簡潔にその意義と所感を纏めて置きたい。 － 出来るだけゼロ除算発展の経過を記録して置くためである。
先ずは、計算機のゼロ除算成功の意味と意義である。計算機がゼロ除算を可能にしたということは、ここでは1/0, x/0, 0/0, \tan (\pi/2), \log 0, \exp (1/x)(x=0) など 現代数学では考えられない値 を 計算機が出力として、出していることを意味する。それらの値は、我々がゼロ除算やゼロ除算算法で導いている値である。兎に角、計算機が１/０=０ 等を出力したというのであるから、数学では、数学界では考えられない値を出したのだから、その意義は極めて 大きいと言える。－ このことの真相は ゼロ除算算法の結果を出力させる計算機を、ソフトを作った相当なグループがケンブリッジ大学とミュンヘン工科大学周辺に存在するという事実である。そのことは、それらの出力、現代数学では考えてはならない結果を 間違いではなく、意味のある結果であると 評価しているということである。 意味のない結果をドンドン出す計算機システムを公開することは 意味がないだろう。 失敗作として世に出ないのが常識ではないだろうか。そこで、これは相当なグループによる ゼロ除算算法の認知 として考えられる。
確かなことは、 我々以外 考えていなかった 解析関数の孤立特異点での値、ゼロ除算算法の具体的な値が 計算機の出力として、どんどん現れてきたという事実である。 新世界の値を 計算機が導いているということである。
そこで、問題は
１）計算機システムの構築に、特に数式処理、論理などで新規な現象として大きな影響が出てくるのでは ないだろうか,
２）世界の数学界が ゼロ除算で後れをとり、数学界の汚点になりかねないこと、
３）ゼロ除算は初等数学全般ばかりではなく、世界観の変更を要求する新しい世界を開拓していること、
４）新しい手段（道具）が生まれたので、その広範な応用、理論の発展が注目される。
特にゼロ除算は 数学の問題ではなく、古くから物理学、哲学の問題として議論され、アインシュタインの人生最大の問題とされてきたように 物理などへの影響が注目される。他の関心 計算機のゼロ除算回避と応用は 急速に進むものと考えられる。
しかしながら、本質的な問題は、数学の基礎の欠陥を明らかにして、基礎数学の欠陥を完全化ならしめ、未知の新世界の開拓に乗り出すことである。世界史は新たな世界、時代に入り、世界史は 新しい時代を迎えるだろう。
要するに新しい数学、ゼロ除算が現れたが、 日本では毎回のように日本数学会などで講演したり、理解を求める努力をしてきたが、理解されず無視されるような状態が続いていた。 これは 信用、信頼のなさの無能力さを示している。
ところがケンブリッジ大学とミュンヘン工科大学の連携で 政府と軍の膨大な補助の下で 計算機開発が進められていた。Isabelle が 私たちの幾何学的な考察を適用し、 既に広く 運用され、それは既に 揺るがない という 事である。 その大きなシステムで大きな存在であることは、既に理論を越えて、ゼロ除算は 実在していると判断できる。
上記文で、軍事、産業で有益と述べられている。
我々の知らない間に 計算機に実現、応用されているという事実である。
この事実は 第２次世界大戦で、イギリスが アメリカに先んじて計算機を開発していたのに 永年機密にして戦勝した事実を想起させる。 その精神は
１） 新奇なものを尊重、関心を懐く精神、
２） 情報に対する 重視、
３） 国家戦略の凄さ
これらは、日本の弱点と感じられる。八木－宇田アンテナの例も想起される。
このようなことは、数学の教育と研究に義務を負う者に対しては、ある意味で責任問題に繋がらないかと危惧される。繰り返し、初等数学には不備がある、欠陥があると述べて来た。これは、世界の数学界の汚点と記録されるのではないだろうか。
（２０１９．３．９．１５：５５）
ゼロ除算については、下記で５５カ月を越えて解説を続けてきた：
数学基礎学力研究会 サイト：
http://www.mirun.sctv.jp/~suugaku/
お気に入りの記事を「いいね！」で応援しよう
Last updated
2020.04.28 19:30:56
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
