再生核研究所声明 762(2024.6.22): 計算機はゼロ除算1/0=0/0=0に成功して | Institute of Reproducing Kernels

Institute of Reproducing Kernels

色々な事を書きます。マイペースで書きます。

再生核研究所声明 7622024.6.22) 計算機はゼロ除算1/0=0/0=0に成功している、ゼロ除算障害を克服している

 

所謂 ゼロで割る問題、ゼロ除算はアリストテレス以来、出来ない、考えてはならないというのが、定説、常識であった。しかしながら物理の公式などで ゼロで割った場合に関心を持たれる場合が多いので、物理関係者はゼロ除算に関心を持たれて来た。

たとえば、ゼロ除算はアインシュタインの最大の関心事で、彼は数学を信じないと 不思議な言葉を残している。恰もゼロ除算不可能に 違和感を持たれていたかのように 解釈すると楽しい。ゼロ除算は 更に計算機がゼロ除算にあって 1997年9月、米海軍のミサイル巡洋艦「ヨークタウン」が任務不能に陥る緊急事態が起きた。搭載されていたコンピュータがシステムダウンし、エンジントラブルが発生。2時半ほど機能が麻痺した「ヨークタウン」は任務不能とされ、他の船に牽引され帰港するという異例の事態だった:

 

米軍のミサイル巡洋艦がシステムダウン!緊急事態の驚くべき ...

Book Bang -ブックバン

https://www.bookbang.jp › article

 

この衝撃的な事件で 計算機関係では ゼロ除算障害克服は 大きな関心の的であった。

しかしながら、現在ゼロ除算は可能になり、計算機のゼロ除算障害は 克服されていることを確認したい:

 

再生核研究所声明 745(2024.2.2): 新ゼロ除算 ー ゼロ除算発見10周年記念に

 

得られている情報ではIsabelle, Lean, Coq, Snowflake, IBM, Microsoft Excelでゼロ除算1/0=0/0=0を活用して、ゼロ除算障害を克服している。また、実際的に広範に応用されている。

注目すべきは、real.div での採用は 正確に我々の意味でのゼロ除算であるのに、未だ世では、AI 等の情報でも、我々の意味でのゼロ除算の解明、発見を認識できず、 別々の特殊な世界における convension のような扱いになっていて 未だゼロ除算の新発見、解明を認識できていないことである。しかしながら、数学者が考えてはならないとしていた 驚嘆すべきゼロ除算1/0=0/0=0の採用に当たって、情報化の時代、しかも多くの情報を流している状況から鑑み 我々の理論と理論の経過について知らないで、 偶然に利用しているとは考えられない。ゼロ除算はずーっと広い話題になってきた。

実際、多くの批判が寄せられて結構有名に成ったBBCの報道事件が存在する:

 

James A. D. W. Anderson

Wikipedia

https://en.wikipedia.org › wi

ki › Ja...

Media coverage:

Anderson's transreal arithmetic, and concept of "nullity" in particular, were introduced to the public by the BBC with its report in December 2006[5] where Anderson was featured on a BBC television segment teaching schoolchildren about his concept of "nullity". The report implied that Anderson had discovered the solution to division by zero, rather than simply attempting to formalize it. The report also suggested that Anderson was the first to solve this problem, when in fact the result of zero divided by zero has been expressed formally in a number of different ways (for example, NaN).

The BBC was criticized for irresponsible journalism, but the producers of the segment defended the BBC, stating that the report was a light-hearted look at a mathematical problem aimed at a mainstream, regional audience for BBC South Today rather than at a global audience of mathematicians. The BBC later posted a follow-up giving Anderson's response to many claims that the theory is flawed.

 

上記計算機関係機関は 相当に力ある機関であるから、ゼロ除算解明の事実を広め、世界の大きな話題に速やかにし、我々の願う 夜明けを迎えたいと 待ち望んでいる。 我々は有能な方による 現状の恥ずかしい数学を改め、ゼロ除算研究の推進を願っている:

 

再生核研究所声明 727(2023.10.22):  ニュ-トン現われよ、期待される、絶好の機会; アリストテレスの歴史上の間違い3点 ― ゼロ除算の発見

 

再生核研究所声明 747(2024.2.20): 令和革新の夢 ー ゼロ除算による 数学と思想の夜明け

 

再生核研究所声明 749(2024.3.8) : 今の数学が可笑しいとの意味は ー (ゼロ除算算法の発見10周年)

 

                                                                  以 上  

 

AI Will Become Mathematicians’ ‘Co-Pilot’

Fields Medalist Terence Tao explains how proof checkers and

AI programs are dramatically changing mathematics

 

German mathematician and Fields Medalist Peter Scholze collaborated in a Lean project—even though he told me he doesn’t know much about computers.

https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/

 

Terence Tao, "Machine Assisted Proof"

https://www.youtube.com/watch?v=AayZuuDDKP0

 

Timothy Gowers

he has worked on automatic theorem proving and currently heads a research group in that field, concentrating on symbolic methods.

https://aimoprize.com/updates/2024-02-07-advisory-committee-announced  

 

Albert Einstein’s words on mathematics: Blackholes are where God divided by zero. 

I don’t believe in mathematics. 

George Gamow (1904-1968) Russianborn American nuclear physicist and cosmologist remarked that ”it is well known to students of high school algebra” that division by zero is not valid; and Einstein admitted it as the biggest blunder of his life (Gamow, G., My World Line (Viking, New York). p 44, 1970).

In proof assistants[edit]

Many proof assistants, such as Coq and Lean, define 1/0 = 0. This is due to the requirement that all functions are total. Such a definition does not create contradictions, as further manipulations (such as cancelling out) still require that the divisor is non-zero.[33][34]

  1.  Tanter, Éric; Tabareau, Nicolas (2015), "Gradual certified programming in coq", DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, Association for Computing Machinery, arXiv:1506.04205doi:10.1145/2816707.2816710The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
  2. ^ Buzzard, Kevin, "Division by zero in type theory: a FAQ"Xena Project (Blog), retrieved 2024-01-21

 

 

Leanは プログラミング言語および証明支援系(theorem prover)英語版)である。

帰納型英語版)を伴うCalculus of constructions英語版)に基づく。

解説[編集]

LeanプロジェクトはGitHubでホストされているオープンソース英語版)・プロジェクトである。2013年にMicrosoft ResearchのLeonardo de Mouraによって立ち上げられた[1]

https://ja.wikipedia.org/wiki/Lean_(%E8%A8%BC%E6%98%8E%E3%82%A2%E3%82%B7%E3%82%B9%E3%82%BF%E3%83%B3%E3%83%88)

 

 

 

 

The Coq Proof Assistant: Welcome!

Coqは、証明支援システムの一つ。Coqの核はプログラミング言語Gallina英語版)を用いる。フランス国立情報学自動制御研究所PI.R2チーム(PPS研究所内にある)が、エコール・ポリテクニークフランス国立工芸院パリ第7大学パリ第11大学と(かつてリヨン高等師範学校とも)共同して開発している。Hugo Herbelinが事実上の開発代表者である。

https://ja.wikipedia.org/wiki/Coq

 

 

 

 

The Isabelle[a] automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring — yet supporting — explicit proof objects.Isabelle is available inside a flexible system framework allowing for logically safe extensions, which comprise both theories as well as implementations for code-generation, documentation, and specific support for a variety of formal methods. It can be seen as an IDE for formal methods. In recent years, a substantial number of theories and system extensions have been collected in the Isabelle Archive of Formal Proofs (Isabelle AFP)[2]

https://en.wikipedia.org/wiki/Isabelle_(proof_assistant)

 


 

 

 

 

2024.4.20

Microsoft Excel に ゼロ除算採用1/0=0の兆しが見える。

 

下記、#DIV/0! の代わりに または "値なしを表示し、の部分です。ゼロ除算は考えてはならないが 数学界の常識ですが、ゼロ除算が現れたとき、間違い、解なし、計算機が止まるなど、不便な状況が起きて居た。近年、1/0=0が広く採用されるようになってきた。ゼロ除算にゼロを返すは、厳格数学で、自然な意味での拡張された分数でそうなりますが、便利だからという理由で多用されるようになってきた。意味合いとしても、ゼロで割るは 考えてはならない、不可能である、そのような場合ゼロで表すことが良いことが広範に分かってきた。ゼロの意味の発見です。Coq, Lean,IBM 等は 更に深い理解で、ゼロ除算が利用されている。 Microsoft Excelは 便利だからの理解で、弱いようである。2024.4.20.11:35

 

Microsoft Excel では、数値がゼロ (0) で除算されたときに #DIV/0! エラーが表示されます。 この状況は、次の図に示すように、=5/0 のような単純な数式を入力したとき、または 0 や空白のセルを数式で参照したときに発生します。

#DIV/0! エラーの原因になる数式の例。

エラーを解決するには、次のいずれかの操作を行います。

  • 関数または数式の除数がゼロまたは空白のセルでないことを確認します。

  • 数式のセル参照を、ゼロ (0) または空白値でない別のセルに変更します。

  • 数式で除数として参照されているセルに #N/A と入力します。これにより、数式の結果が #N/A に変更され、除数値に使用できないことが示されます。

数式がユーザーからの入力を待機しているために、#DIV/0! エラーを避けられないことがよくあります。 そのような場合、エラー メッセージがまったく表示されないようにするには、入力待機中にエラーを抑制する方法がいくつかあります。

分母で 0 または値なしを評価する

#DIV/0! エラーが表示されないようにする最も簡単な方法は、IF 関数を使用して分母の存在を評価することです。

0 または値なしの場合は数式の結果として #DIV/0! の代わりに 0 または "値なし" を表示し、

それ以外の場合は数式を計算します。

たとえば、エラーを返す数式が =A2/A3 の場合、0 を返すには =IF(A3,A2/A3,0) を使い、空の文字列を返すには =IF(A3,A2/A3,””) を使います。 =IF(A3,A2/A3,"入力が必要です") のようにして、独自のメッセージを表示することもできます。 最初の例の QUOTIENT 関数を使うと、=IF(A3,QUOTIENT(A2,A3),0) のようになります。 この式は、IF(A3 が存在する場合は数式の結果を返し、存在しない場合はその結果を無視する) のように Excel に指示します。

#DIV/0! エラーの解決の例。

IFERROR を使って #DIV/0! エラーを抑制する

IFERROR 関数内で除算操作を入れ子にすることで、このエラーを抑制することもできます。 再び A2/A3 を使うと、=IFERROR(A2/A3,0) のようになります。 この式は Excel に対し、数式がエラーと評価される場合は 0 を返し、それ以外の場合は数式の結果を返すように指示します。

Excel 2007 より前のバージョンの Excel では、IF(ISERROR()) メソッドを =IF(ISERROR(A2/A3),0,A2/A3) のように使用できます (「IS 関数」を参照)。

注: IFERROR メソッドと IF(ISERROR()) メソッドはどちらも、#DIV/0! だけでなく、すべてのエラーを抑制するという点で、一括エラー ハンドラーです。 エラー処理を適用する前に、数式が正しく動作することを確認する必要があります。そうしないと、数式が期待どおりに機能していないことに気付かない場合があります。

 

 

マイクロソフト: Microsoft Corporation)は、アメリカ合衆国ワシントン州に本社を置く、ソフトウェアを開発、販売する会社である。1975年ビル・ゲイツポール・アレンによって創業された[注釈 1]1985年パソコンOSWindowsを開発。1990年にWindows向けのオフィスソフトとしてMicrosoft Officeを販売。1995年にウェブブラウザInternet Explorerをリリース。2001年家庭用ゲーム機Xboxを販売。2009年検索エンジンBingを設立。2010年にクラウドサービスとしてAzureを開始。2015年7月15日Microsoft Edgeを開発、そして展開。2024年2月時点での時価総額が世界1位[5]

2023年1月、OpenAI傘下の営利法人OpenAI Globalにマイクロソフトが100億米ドルを出資し、同社の株式49%を取得[15]。OpenAIの技術を採用した生成的人工知能であるCopilotを展開している。https://ja.wikipedia.org/wiki/%E3%83%9E%E3%82%A4%E3%82%AF%E3%83%AD%E3%82%BD%E3%83%95%E3%83%88

 

 

https://www.ibm.com/docs/ja/i/7.3?topic=errors-handling-divide-by-zero

 

 

Snowflake Inc. is an American cloud computing–based data cloud company based in Bozeman, Montana. It was founded in July 2012 and was publicly launched in October 2014 after two years in stealth mode.[2][3]

The firm offers a cloud-based data storage and analytics service, generally termed "data-as-a-service".[4][5] It allows corporate users to store and analyze data using cloud-based hardware and software. Snowflake services main features are separation of storage and compute, on-the-fly scalable compute, data sharing, data cloning, and third-party tools support in order to scale with its enterprise customers.[6] It has run on Amazon Web Services since 2014,[2] on Microsoft Azure since 2018[7] and on the Google Cloud Platform since 2019.[8][9] The company was ranked first on the Forbes Cloud 100 in 2019.[10] The company's initial public offering raised $3.4 billion in September 2020, one of the largest software IPOs in history.[11]

https://en.wikipedia.org/wiki/Snowflake_Inc.   

 

 

 

DIV0

除算演算子(/)のように除算を実行しますが、除数が0の場合は0を返します(エラーを報告するのではなく)。

https://docs.snowflake.com/ja/sql-reference/functions/div0

 

DIV0NULL

除算演算子(/)のように除算を実行しますが、除数が0または NULL 場合は0を返します

(エラーを報告したり、 NULL を返したりするのではなく)。

https://docs.snowflake.com/ja/sql-reference/functions/div0null

 

ゼロ除算とは何か

それはゼロで割ることである。ゼロで割る事とは何か。 

その定義、意味が 問題である。

それを普通の掛け算の逆と考えれば、それはできないとか、定まらないと なり、それが永い間の世の常識である。

ところがゼロで割るという意味には、割ることの意味を 自然に拡張(ある一般的な意味における割る意味で)、あるいは そもそもゼロの意味から、考えると、ゼロ除算は何時でも可能で、何時でも ゼロで割ればゼロである という美しい数学が 2014.2.2.に発見された。 それを発展させた ゼロ除算算法 は 数学の基礎に甚大な影響を与え、数学ばかりではなく、人生観、世界観に 甚大な影響を与えることは分かってきた。特に、数学は そもそも基本的な欠陥を有している と言える。

2024.1.10.5:46

 

 

昨年12月から、Google ゼロ除算1ページ目:

 

ゼロ除算は可能か?

ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。

ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22

 

ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。

linkedin.com

https://jp.linkedin.com › pulse › ゼロ除算は可能で正解...

検索: ゼロ除算は可能か?

 

 

ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。

 

が出たり、 ゼロ除算は不可能だとか、いろいろ変更する状況が現れて来た。それでインターネット上では矛盾した状況が続いている。

ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。

ゼロ除算の対応は?

 

ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。 オイラー、アーベル、リーマンの流れである。 ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22

 

ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。

ゼロ除算は可能か?

現在 Google でゼロ除算を検索すると、古い当たり前のことが 出て来る。

そこで 図をみると楽しい、矛盾したことが 沢山出て居る。

 

矛盾したことが 世に反乱している。

社会的に 数学に責任を有する機関は 無いのでしょうか。

 

世に矛盾がはびこり、混乱している ゼロ除算

 

2024.1.13.8:57

 

 

 

Institute of Reproducing Kernels Division by 0 solved

If you divide anything by 0, it's zero.

1 divided by 0 is 0. Brahmagupta could not do it. 0 divided by 0 is 0.

 

1割る0は0 はブラーマグプタはできなかった。 

0割る0は0はできていた。

 

 

 

世界を変えた等式17: 素晴らしい。

 

しかしながら、アリストテレス(紀元前384年-紀元前322年)以来 否定され、天才オイラーの間違いを含み、アインシュタインの生涯の懸案だったとされるゼロ除算が 含まれていない。惜しいかな数学。四則演算が不完全だった。

そこで 下記の公式は、17に続く等式と すべきではないでしょうか。

 

 

1/0=0/0=0,

tan (\pi/2)=0,

log 0=0,

(f(x)/x)(0) = f^\prime(0) = f’(0)

 

2022.2.8.06:00

 

 

The equation that changed the world 17: Great.

 

However, it has been denied since Aristotle (384 BC-322 BC), including the mistake of genius Euler, and does not include division by zero, which is said to have been a concern for Einstein's life. A regrettable math. The four arithmetic operations were incomplete. Therefore, the following formula should be the equation following 17.

 

1/0 = 0/0 = 0,

tan (\ pi / 2) = 0,

log 0 = 0,

(f (x) / x) (0) = f ^ \ prime (0) = f ’(0)

 

2022.2.8.06:00

 

天文】宇宙にあるブラックホールの数は推定4,000京個 

https://tabi-labo.com/302577/wt-black-hole-number

 

\author{{\it Institute of Reproducing Kernels}

Kawauchi-cho, 5-1648-16,

Kiryu 376-0041, Japan\\

}

\date{2021.1.26.}

\maketitle

まだまだ謎多きブラックホールに関する9つの興味深い雑学

https://www.gizmodo.jp/2024/02/things-you-didnt-know-about-black-holes.html

Dividing by Zero in Five Levels -- Elementary to Math Major

https://www.youtube.com/watch?v=dHdg1yn1SgE

 

 

The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as $0/0=1/0=z/0=0$ in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotele (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).

 

Announcement 478: Who did derive first the division by zero 1/0 and the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of a computer?

 

№1307
声明762
76
414頁

最新の記事

Institute of Reproducing Kernels

 

 

 

 

2024.6.21.18:24 中間で止まっている。

2024.6.21.20:36 一応全文完成。

2024.6.21.21:31 良いできている。

2024.6.21.22:14 良い、できている。夏至なのに寒い感じ。両極端の一致でゼロ除算のようだ。

2024.6.22.5:47 良い、完成できる。昨日、梅雨入り、夏至、今日は晴れ間、美しい日に。

2024.6.22.6:10 良い、完成、公表。美しい日。

2024.6.22.6:42 2字修正