人間の脳は有機スーパーコンピュータだった!「0と1」で記憶を保存すると明らかに
https://nazology.net/archives/8414
これは相当偉大な発見ではないでしょうか。
再生核研究所声明 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.
https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/
Bing は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け2014.2.2を記述して述べている。
それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。
問題は、第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%くらい世界が広がるとの所見を、印象を述べられている。
ところがその初歩、基本を簡単に見ても 現代数学の学部辺りまでの算数、数学の内容の広範な修正、拡充、改定は 現状の数学が 実に 恥ずかしい状態であると表現される。
これらから 小学生から 大学学部までの数学内容の大幅な修正が要求され、より美しい完全な数学になるべきものと考えられる。
これらの修正、改革は、 日本初の基礎数学の世界的な貢献となり、令和革新として世界史の貢献に寄与できるものと期待される。
以 上
2024.2.19.15:00 雨水 暦のように小雨、素晴らしい暦、今朝アイディアがが湧いたので、成文化した。
2024.2.19.15:53 文章を整えた。
2024.2.19.18:05 良い.明朝完成できる。
2024.2.19.19:40 良い。
2024.2.19.21:54 良い。
2024.2:20.5:55 良い、完成できる。春の朝を感じる。
2024.2.20.6:10 良い、完成公表。
【天文】宇宙にあるブラックホールの数は推定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
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?
世界を変えた等式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
ゼロ除算の5W1H
When:いつ 2014年2月2日
Where:どこで アヴェイロ大学 (ポルトガル)
Who: だれが 再生核研究所
What: 何を 0で割れないとされていたゼロ除算が、0で割れる考えがある事を発見した。
Why: なぜ YAHOO知恵袋の質問に答えた際に考えた。
How: どのように 永い間研究してきた結果から、実は 当たり前であること に気が付いた。
「生成AIは100%数学でできている」現役スタンフォード生が語るAI時代の算数力
https://dime.jp/genre/1720142/#google_vignette
感じは分かりますが、そこまで言えるでしょうか。
東大合格率とゼロ除算:
ある名門高校の東大合格率は40%だという。 これは架空の話しであるが 東大受験した高校生の合格率と考えれば ありそうな話しであろう。 合格しなそうな人は 受験しないからである。名門校となれば データや経験から、合格率を高められるだろう。
問題は、受験生がゼロの時、合格率はどのようになるだろうか。
現代数学では、考えてはならないとなっている。ゼロで割れないからである。
歴史上はじめて 宣言された我々のゼロ除算では、合格率は ゼロとなる。
世相でも 良い結果ではないだろうか。ゼロ除算不可能を 可能にしている。
ついでに 私の理解に寄れば、 母校の中学は 再編後前も 歴史上 東大受験生は唯一人で 合格している。
東大合格率は100%である。 甥の同級生で子供のころから 神童の誉が高かった。
母校の高校 再編後前も 歴史上 東大受験生は ゼロで、従って東大合格率は ゼロである。
買い物から帰って この構想が湧いた。
2024.1.18.12:34
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)
№1308
Is this the first document of 1/0=0? However, this was not right.
Why he did not push this fact?
ゼロ除算について、広く世界の情報を日々集めている。我々が宣言してから10年を経過したのに、この情報はどこからも報告されていなかった。
できていたかとこの著書を確認したが、正確に結果は述べられず、0/0 を不定とする認識で、基本的な認識に間違いが存在する。宣言文で、1/0=0 を謡っている文献。どうしてその事実を重大と受け止めて、研究されなかったか不思議に感じられる。
2024.6.28.5;22
ちょうど130年前の文献に 1/0=0 と理由を付けて述べている文献を発見した。しかし、余計なことを述べて、自己矛盾している。0/0 は定まらないと述べている。0/0=0は算術の発見者が、1300年も前に宣言されている。 世界の数学界はゼロ除算が盲点で、現在でも1300年前の事実も理解できず、0/0 は考えないとしている。計算機関係者はどんどん利用され始めている。
2024.6.28.5:31
再生核研究所声明 756(2024.4.19) 人間の思い込み、囚われた人間 と 計算機システム、AI ー 面白いゼロ除算の歴史
ゼロ除算は 今は、異端 やがて主流になります。
ゼロ除算(ゼロじょさん、0除算、英語: division by zero)とは、0で除す割り算のことである。
このような除算は除される数をaとするならば、形式上は a/0と書くことが ...
関連する質問
0は除算できないのはなぜ?
0による除算とは何ですか?
ゼロ除算は可能か?
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
ゼロ除算の対応は?
ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。 オイラー、アーベル、リーマンの流れである。 ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
ゼロ除算は可能か?
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22
https://jp.linkedin.com › pulse › ゼロ除算は可能で正解...
検索: ゼロ除算は可能か?
0の新しい意味の発見、0の意味から当たり前
0は できないこと、しないこと、を現す意味をもつ。
0で割る事は割らないことで、したがって
割り当てられた数はない。
すなわち、0除算は0です。
何を0で割っても0です。
100割る0は?
この意味で割り算の意味を考えれば、100割る0は 0 であるとなる。2022/04/19
記号∞ (アーベルなどはこれを 1 / 0 のように表記していた)で表す。
https://www.google.co.jp/search?sca_esv=593347961&hl=ja&q=%E3%82%BC%E3%83%AD%E3%82%92%E5%89%B2%E3%82%8B&sa=X&ved=2ahUKEwi1pb26j6eDAxWdhq8BHQSEAMUQ1QJ6BAg2EAE&biw=1600&bih=773&dpr=1
a がゼロでなければ、分数b/aは 現代数学の定義と同じに定義される。 100割るゼロはゼロ、すなわち、100/0=0である。2021/11/28
1970年代の教科書でも、ゼロ除算の扱いは同様である ...
ゼロ除算は 今は、異端 やがて主流になります。