「人類の歴史の中で最も重要な5年間になる」（ソフトバンクグループ会長兼社長の孫正義さん）

22 4月

「人類の歴史の中で最も重要な5年間になる」（ソフトバンクグループ会長兼社長の孫正義さん）

汎用人工知能（AGI）の時代が来るとみる。

AIが脳細胞に近い働きをする。「私が考えるAGIの定義は人間の英知の総和の約10倍になる」。これにより「我々の目の前にある常識がことごとくひっくり返る」。このAGI分野で日本や世界のトップになるための思案を日々めぐらせる。

https://news.yahoo.co.jp/articles/ec886e95193effdffc9df3abb0ace6a625f38269

たしかにわれわれの想像を超えた影響があると思います。

AI、2027年に人間の知能に追いつく!? “AGIの父”が時間の問題と説明「AGIが自身の心を省みられたら」

https://news.yahoo.co.jp/articles/f391747930b94eca41d30a5afe8d6c71a870114d

そう思います。

再生核研究所声明 747（2024.2.20) 令和革新の夢　ー　

新ゼロ除算による　数学と思想の夜明け

2024年　年頭に当たって、　新ゼロ除算の広い影響について下記に様に触れている：

再生核研究所声明736（2024.1.1)　年頭に当たっての存念、ゼロ除算の新解釈の公認を求める努力、世界史の進化を求める

ここでは、ゼロ除算の数学的な内容ではなく、ゼロ除算の理解の遅れ、その意味、人間の独断と偏見の深さに思いを致し、人間の心、人間の性格に思いを致し、ゼロ除算の理解の進展は、人間の研究、数学界などの問題点や、社会の在りようの問題、マスメディアの在りよう、それは世界平和の問題や宗教問題などにも絡む、世界史上の問題であることを認識して、ゼロ除算の理解の重要性を指摘したい。もちろん数学教育の在り様、真理を追究する精神に基本的な問題を提起している。地動説、非ユークリッド幾何学の発見のような　世界史上の事件であると　繰り返し表明してきたが、上記Google　等にも現われて来た状況から、本年は　世界史の変更の年になる　と予感される。

人は真相を求め、真理を追及して欲しい。我々は述べている。数学は初めから基本的な欠陥を有し、数学の基本は改められるべきであり、　初等数学から大学学部数学まで広範な修正、補充が求められている。　それは数学とは何かが問われ、その真相の追究は　世界の平和や、神の問題、宗教の問題や悟りの心の問題にも繋がっており、それ故に万人の関心事でなければならない。真相は明かにされなければならない。それは人間の精神の解放と歓びを与えるだろう。　明るい新時代を拓こう。（声明の最後の部分）

ところで　数学は　人工知能さえ展開できる　いわば絶対的な論理によって　構成されており、数学の発展と将来は相当に確定的であるとの信念を擁いている。　ところが　ゼロ除算発見10周年を迎える直前に　欧米では　ゼロ除算が real.div 1/0=0/0=0 で広く活用されているとの情報が寄せられた：

2024/01/21 21:39 Xena <comment-reply@wordpress.com> からメールが送られてきた：　内容は

xenaproject just commented on Division by zero in type theory: a FAQ.

で、主要部は次のようである：

Division by zero in type theory: a FAQ

Posted on July 5, 2020 by xenaproject

Hey! I heard that Lean thinks 1/0 = 0. Is that true?

Yes. So do Coq and Isabelle and many other theorem provers.

Doesn’t that lead to contradictions?

No. It just means that Lean’s / symbol doesn’t mean mathematical division. Let denote the real numbers. Let’s define a function by if and .

Does making that definition give us a contradiction in mathematics? No, of course not! It’s just a definition. Lean uses the symbol / to mean . As does Coq, Isabelle etc. Lean calls it real.div by the way, not .

But doesn’t that lead to confusion?

It certainly seems to lead to confusion on Twitter. But it doesn’t lead to confusion when doing mathematics in a theorem prover. Mathematicians don’t divide by 0 and hence in practice they never notice the difference between real.div and mathematical division (for which 1/0 is undefined). Indeed, if a mathematician is asking what Lean thinks 1/0 is, one might ask the mathematician why they are even asking, because as we all know, dividing by 0 is not allowed in mathematics, and hence this cannot be relevant to their work. In fact knowing real.div is the same as knowing mathematical division; any theorem about one translates into a theorem about the other, so having real.div is equivalent to having mathematical division.

Division by zero in type theory: a FAQ

Bing　は広範な応用を述べ、更に我々の寄与を　ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。

それで　新ゼロ除算の広い認識は　時間の問題になっていることが分かる。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　

問題は、第2弾　　ゼロ除算算法の概念は、彼らの世界には　未だ現われている様子が見えない。　ー　しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、　どんどん研究を秘密で展開していると考えられる。　何時それらの成果が現われて来るか、分からない状況になっていると感じられる。

上記の世界は影響力が巨大だから、1/0=0/0=0の結果が　直ぐにも世界の常識になるのは、既に歴然であると考えられる。

それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が　第2弾として存在する。何時その扉が拓かれるだろうか。　我々は完全な理論を既に公開している。　

充分な証拠を公表している。それを公然として　次のように公表、表明、言明している：

I think this is an important news for any mathematician:

Division by Zero 1/0 = 0/0 = 0 is applied in many fields:

viXra:2402.0068 submitted on 2024-02-14 21:47:20 ,

Division by Zero 1/0 = 0/0 = 0 and Computers Real.div: New Information and Many Applications

Please kindly send me your suggestions and information on the related topics.

人間は愚かだと繰り返し述べて来たが、限定された課題に取り組む数学者の才能は　驚嘆すべきものが　多々あるから、特異点から湧き出る　広い驚嘆すべき世界がどんどん現れて来るのは必然であり、大いなる楽しみである。　未知の広大な世界。　ユークリッド幾何学では　新世界がどんどん現れれ、奥村　博氏によって、革命が起きている。　20％くらい世界が広がるとの所見を、印象を述べられている。

ところがその初歩、基本を簡単に見ても　現代数学の学部辺りまでの算数、数学の内容の広範な修正、拡充、改定は　現状の数学が　実に　恥ずかしい状態であると表現される。

これらから　小学生から　大学学部までの数学内容の大幅な修正が要求され、より美しい完全な数学になるべきものと考えられる。

これらの修正、改革は、　日本初の基礎数学の世界的な貢献となり、令和革新として世界史の貢献に寄与できるものと期待される。

　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以　上

【天文】宇宙にあるブラックホールの数は推定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

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?

【天文】宇宙にあるブラックホールの数は推定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

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?

世界を変えた等式１７：　素晴らしい。

しかしながら、アリストテレス（紀元前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

ゼロ除算の５W1H

When：いつ　2014年2月2日

Where：どこで　アヴェイロ大学　（ポルトガル）

Who：　だれが　再生核研究所

What：　何を　0で割れないとされていたゼロ除算が、0で割れる考えがある事を発見した。

Why：　なぜ　 YAHOO知恵袋の質問に答えた際に考えた。

How：どのように永い間研究してきた結果から、実は　当たり前であること　に気が付いた。

「生成AIは100％数学でできている」現役スタンフォード生が語るAI時代の算数力

https://dime.jp/genre/1720142/#google_vignette

感じは分かりますが、そこまで言えるでしょうか。

東大合格率とゼロ除算：

ある名門高校の東大合格率は40％だという。　これは架空の話しであるが　東大受験した高校生の合格率と考えればありそうな話しであろう。　合格しなそうな人は受験しないからである。名門校となればデータや経験から、合格率を高められるだろう。

問題は、受験生がゼロの時、合格率はどのようになるだろうか。

現代数学では、考えてはならないとなっている。ゼロで割れないからである。

歴史上はじめて宣言された我々のゼロ除算では、合格率はゼロとなる。

世相でも　良い結果ではないだろうか。ゼロ除算不可能を　可能にしている。

ついでに　私の理解に寄れば、　母校の中学は　再編後前も　歴史上　東大受験生は唯一人で　合格している。

東大合格率は１００％である。　甥の同級生で子供のころから　神童の誉が高かった。

母校の高校　再編後前も　歴史上　東大受験生は　ゼロで、従って東大合格率は　ゼロである。　

買い物から帰って　この構想が湧いた。

２０２４．１．１８．１２：３４

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]