再生核研究所声明 756(2024.4.19) 人間の思い込み、囚われた人間 と 計算機システム、AI ー 面白いゼロ除算の歴史
再生核研究所声明 756(2024.4.19) 人間の思い込み、囚われた人間 と 計算機システム、AI ー 面白いゼロ除算の歴史 我々はゼロ除算の発展が人類の歴史上大事になるとの直観から2014.2.2.発見して以来、膨大な記録を残し、公表してきた。最近は声明 再生核研究所声明 745(2024.2.2): 新ゼロ除算 ー ゼロ除算発見10周年記念に再生核研究所声明 746(2024.2.5): ゼロ除算についての、印象、現況再生核研究所声明 747(2024.2.20): 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け再生核研究所声明 749(2024.3.8): 今の数学が可笑しいとの意味は ー (ゼロ除算算法の発見10周年)再生核研究所声明 750(2024.3.20): 数学の研究者の道 ー 恩師、先輩の言葉を回想しながら再生核研究所声明 751(2024.3.27): 天才たちの数学、秀才たちの数学 ー 分散と多様性、広い視点再生核研究所声明 755(2024.4.15): 素晴しい花見の文化、文化の基礎、レベル、数学の文化は? 以外に 次のように メモ式に述べている: ソフトウェアが ゼロ除算 1/0=0 を 実装することを待っているのですが、 最近、real.div として Coq, Lean 等に実装され 広く応用されていることが分かりました。 更に、Snowflake でDIV0: This function performs division similar to the division operator (/), but instead of reporting an error, it returns 0 when the divisor is 0.DIV0NULLは、除算(割り算)を行う際に、分母が「0」や「NULL」であってもエラーやNULLを返すことなく、代わりに「0」を返す関数です12.具体的には、除算演算子(/)のように除算を実行しますが、以下の条件で動作します:· 除数が0またはNULLの場合、関数は0を返します。· エラーを報告したり、NULLを返したりすることはありません。 として実装されていることを見つけました。これらは理由も付けずに、 convention として利用しているようですが、それらは 拡張された意味でのゼロ除算です。他にも、1/0=0 を利用しているシステムが 有るでしょうか。情報を知りたい。2024.4.11.18:16 2024.4.15.6:43IBM がゼロ除算回避に 我々のゼロ除算1/0=0 を用いていることを知る:2024/01/06 — ゼロ除算(divide by zero)とは、ある数を0で割ること。数学では定義できない計算と解釈され、コンピュータ上では実行不能としてエラーを生じたり、無限 ..ゼロによる除算エラーの処理IBM docs ゼロによる除算は、「Query ファイルのオープン (OPNQRYF)」コマンドではエラーとみなされます。 ただし、ゼロの結果を受け取り、ゼロ除算エラーを防ぐことができます ... 既にゼロ除算は real.div として実装され、活用されている。 Coq, Lean, Snowflake, IBM などは 見かけ上 ゼロ除算回避の convention のようである。 数学者が驚嘆し、世界史が禁じて来た結果を ソフト会社が用い始めている。 我々が数学的な発見を公言して、8年後くらい。 欧米では6年後くらい、結果自身は 世界最高のシステムで、我々の情報では1980年代 約40年前である。そこは秘密で研究を進めていると見られる。 2019年 我々の進んだ結果を公然と保証してsaitohの名前さえそのシステムに入っていたが、その後かん口令がひかれたように沈黙に至っているからである。 2024.4.11.9:38 ここで触れたいのは、 計算機システムが ゼロ除算1/0=0/0=0 を暗示しているのに 人間の永い間の囚われで、ゼロ除算を受け入れられない人間の素性の事である。人間は思い込みから抜け出せないような 深刻な素性 を持っていると感じられることである。まず、我々の新しい意味での割り算、除算の数学的な定義、意味は黄金律で殆ど自明で、古典的なMoore-Penrose 一般逆の理論で 1930年代には数学的には完成されていたと言えるのに、結果がアリストテレスの連続性の概念に反するという理由で、明確な効用、証拠を1000件程を超える具体例が示されても、また10年近く論争しても 受け入れらない状況がある。 次は指導的な数学者の典型的な言明である: Dear Saburou,I am surprised to have your mail again. I am happy and fully convinced with the great work of scholars Brahmagupta, Bhaskara II, Mahavira, Aristotle, Cauchy, Weierstrass, Euler, Newton, Bernoulli, and their numerous followers. They laid the correct foundation of Mathematics by showing that 0/0 is indeterminant, i.e., it is defined only in the limiting sense.Best,(2024/01/15 7:52) 焦点は基本的な関数 y=f(x) = 1/x の 原点での値がゼロである、すなわち、 f(0)=1/0=0 がどうしても受け入れられないと言う、根強い拘りである。 人はその拘りで そのように主張するゼロ除算算法の理論も 結果も 真面に興味も 関心も擁かない状況が見える。余りにも変わった世界であるという印象で 先の世界に入れない。 沈黙と拒否の心情に陥ってしまう。 我々の数学には基本的な欠陥がある、ユークリッド幾何学には革命が起きて居る と 重大な事を述べているのにである。そこで、1/0=0 は convention として計算機関係では普通に活用されている状況を広めて そのように便利で、活用されているゼロ除算、ゼロ除算算法には 何か数学の理論がある筈だ という状況を広め、世の天才や秀才、数学愛好者の関心を呼び起こし、これらの研究の進展が図れることを 大いに期待している。― ディラックの超関数の発見やヘヴィサイドの演算子法の歴史的な発見を想起している。上記 convention は 単にゼロ除算回避ばかりではなく、計算機による計算における相当な効用と知見をそれぞれ有していると考えられるが、ゼロ除算そのものの可能性を宣言して、ゼロ除算を実装、更に関数系におけるゼロ除算算法の実装は何時か と待っている。それらが実現する時は 世界史の夜明けで、数学に革命が起きるだろう。特異点の新世界が拓かれる。ゼロの新世界が拓かれる。それは無限大の世界とも言える。 同時に人間は 偏見に囚われた 視野の狭い、単細胞の人間 を自覚するだろう。 以 上 2024.4.17.22:02 新規性が足りなく、纏めずらかったが一応纏めてみた。検討を続けたい。ふき を始めて頂いた。2024.4.18.6:11 湿気を感じる、曇りの朝。大体できていた。2024.4.18.6:20 充分に良い。2024.4.18.7:10 散歩してタケノコ3本取ってくる。 鹿が罠に掛かっていた。 大体できている。2024.4.18.9:27 良い。2024.4.18.11:48 曇、サニ―ルームで 論文を見ながら瞑想にふけっていた。これは良い。2024.4.18.14:54 山を巡ってくる。 良い。2024.4.18.18:50 良い。天才の出現を待っている。そろそろ現れるのではないだろうか。2024.4.18.22:48 良い。2024.4.19.5:54 良い、完成、公表、小鳥たちが元気よく啼いていた美しい朝、華愛様の素晴らしく美しいアジサイに驚嘆している。