2024年02月の記事
全76件 (76件中 1-50件目)
-
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.29
-
計算機は何時、1/0=0 ができるようになるでしょうか。real.div で欧米では相当利用されてとの情報が、遂に寄せられた、
そこで、計算機は何時、1/0=0 ができるようになるでしょうか。 楽しみにしています。 もうできる 進化した 計算機をお持ちの方は おられないですね。 これ5年以上公開で問うてきましたが、real.div で欧米では相当利用されてとの情報が、遂に寄せられた、Bing は我々によると認めている。関係機関は秘密でどんどん進めている状況がある。２０２４．３．２９．５：３０： 再生核研究所声明744（2024.1.25)大きな証明検証システム達がゼロ除算1/0=0/0=0を保証している再生核研究所声明 745（2024.2.2) 新ゼロ除算 ー ゼロ除算発見10周年記念に再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明けこれは 凄い、面白い事件では？ 計算機が人間を超えている 例では？面白いことを発見しました。 計算機は 正しい答え 0/0=0を出したのに、 この方は 間違いだと 言っている、思っているようです。0/0=0 は １３００年も前に 算術の発見者によって与えられたにも関わらず、世界史は間違いだと とんでもないことを言ってきた。 世界史の恥。 実は a/0=0 が 何時も成り立っていた。 しかし、ここで 分数の意味を きちんと定義する必要がある。 計算機は、その意味さえ知っているようですね。 計算機、人間より賢くなっている 様が 出て居て 実に 面白い。https://steemkr.com/utopian-io/@faisalamin/bug-zero-divide-by-zero-answers-is-zero２０１８．１０．１１．１１：２３
2024.02.29
-
I am sending my requested abstract with its source file.
I am sending my requested abstract with its source file. Please kindly arrange it according to your wishes. I would like to prepare some good presentation sheets for my lecture. I will send them on 28th May. I also attached my simple CV for your convenience. With great pleasure,Sincerely yours,Saburou Saitoh2024.2.28.14:08
2024.02.28
-
new type inequalities
How will be new type inequalities that can be understood by high school students? submitted on 2024-02-27 03:11:18 , Simple, Mysterious, New Type and Best Possible Integral Inequalities I wonder: for these inequalities, does there exist some elementary proof? And some applications and generalizations. Meanwhile, I think this is an important news for any mathematician: Division by Zero 1/0 = 0/0 = 0 is applied in many fields: 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. With best regards,Sincerely yours,Saburou Saitoh2024.2.28.5:14
2024.02.28
-
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.28
-
今朝送ったの もう出た。神秘的な 簡単な積分不等式：
今朝送ったの もう出た。神秘的な 簡単な積分不等式：Thank you for your submission request to viXra.orgThis is an automatically generated message but you may reply to contact viXra admin if there are any problems.Your submission has now been uploaded and is available atPlease check and let us know is there are any errors. If everything is OK please do not reply to this mail.先生：山から帰りました。少し時間を取られていますが、最初の、あの形からできたのは凄い才能、天才的としか言えない、驚いています。微積分学の基本定理を思わせる 良い結果 と思います。高校生に分かるので、 入試に出したら、果たして解ける人が現れるでしょうか。先生、2階まででチキンと出せば 大事な結果になるのでは 無いでしょうか。 先生の原理で 一般論を展開して 不等式を整備する。シュバルツの不等式の原理で行けるので、素晴らしい 世界だと思います。微積分学の盲点と言えますね。最初の不等式、本当に楽しいと思います。 微積分学の雄大な歴史と 不等式の凄い世界を回想すれば、 驚嘆すべきことではないでしょうか。２０２４．２．２７．１４：００
2024.02.27
-
再生核研究所声明 748（2024.2.27) 乱暴な議論、発想 ー 宗教法人の解散、イスラエルの過剰暴力
再生核研究所声明 748（2024.2.27) 乱暴な議論、発想 ー宗教法人の解散、イスラエルの過剰暴力 これは突然に 閃いたものである。次の声明に通じるところがある： 再生核研究所声明 739（2024.1.20) おかしな派閥解消の議論と日大アメフト部 廃部構想 ー 単細胞的な思考 その中で、特に次のように述べている： 上記2つの問題、単細胞的な思考で、〇か×の 軽薄な判断と考えられる。 現に存在してきている状況には 永い歴史的な重みがあるものである。 何でもそうである。 現実は 過去の永い流れに従ってそれなりの理由があって、そうなっている。 それ故にそれを大きく変えるには、 問題の大きさ、性格に従って、それ相当に慎重な検討が加えられて 対処すべきである。 また関係して、次も参照： 再生核研究所声明69： 単細胞人間 ― 単細胞的思考再生核研究所声明70： 本末転倒、あべこべ ― 初心忘れるべからず そもそも宗教とは強い信念、信仰を意味し、共感、共鳴する者が集まる仲間のなす集団が いろいろな宗教、宗派をなし、集団が宗教法人をなすと考えられる。 政治と宗教の分離を多くの国は謡っているが、本質的には難しい面があると考えるべきである。良き社会を 創ろうとする者は政治勢力を動かしたいと発想するからである。心情が強いだけに政治に期待する思いも強いと考えられる。それ故に政教分離さえ運営には節度と抑制、調整を慎重に行なって行く必要があると考える。特に宗教法人や集団の構成を禁じれば、国家の政権の中枢部の破壊のように、大きな混乱が生じるだろう。熱心に信仰してきたものが禁じられたり抑圧されれば、その人たちの迷い、不安は甚大になるのではないだろうか。逆に宗派の指導者をとうして、適切な指導を要求した方が現実的であり、スムースに改善されるのではないだろうか。 急激な組織の解体は大いに問題であり、慎重な対応が求められる。簡単に愛するものを取り上げてはならない。また宗教の在りように対しては、言論界や教育界がもっと真摯に対応すべきでは無いだろうか。これらの問題は、現在のイスラエルのハマス壊滅軍事戦略にも言える。 攻撃されたから自衛のためにそれを阻止する。それは何時でも、誰でも対応せざるを得ない第1原理である。しかし、ハマス壊滅まで徹底的に行うは行き過ぎだろう。 ハマスにはハマスの大義があり、強い信念で立ち上がっている事実を考慮すれば、 根絶など途方もないことに考えられる。これらを自然界の生存競争、神聖な闘争と考えても、世はバランスから成り立っており、ほどほどの勝利でなければ その地域の繫栄はあり得ないだろう。宗教法人も、イスラエルも 国家も人々も 全体の調和を求めて 妥協し、共栄、共存の道を求めて欲しい。楽しく共感、共鳴できるような世界を築きたい。再生核研究所声明第一を 参考にして欲しい。 以 上 付記： 再生核研究所声明 1 (2007/01/27)： 美しい社会はどうしたらできるか、 美しい社会とは：最近の世相として，不景気・政界・財界・官界・大学の不振，教育の混迷，さらにニューヨークのテロ事件，アフガン紛争，パレスチナ問題と心痛めることが多いことです．どうしたら美しい社会を築けるでしょうか．一年半も前に纏めた次の手記はそれらのすべての解決の基礎になると思いますが，如何でしょうか．平成１２年９月２１日早朝，公正とは何かについて次のような考えがひらめいて目を覚ました．１） 法律，規則，慣習，約束に合っているか．２） 逆の立場に立ってみてそれは受け入れられるか．３） それはみんなに受け入れられるか． ４） それは安定的に実現可能か．これらの「公正の判定条件」の視点から一つの行為を確認して諒となればそれは公正といえる．現在，社会の規範が混乱し，不透明になっているように思うが，公正の原則を確認して，行動していけば ―― これは容易なことではないが ―― 世の中ははるかに明るくなり，多くの混乱は少なくなると思いますが如何でしょうか．また，こういうことを考える教育は，人間関係や社会生活の基本的な在り方を明らかにし，環境の保全などにも貢献すると思います．特に少年期の教育にあっては哲学（ものごとの本質と人生，世界を考えること），道徳，芸術，体育などを中心とする人間を育てる教育に改めるべきではないでしょうか．国や隣人を愛せるようになる教育，多様性を重視し，個性や隠れた才能を伸ばし，友情を育み，人々が助け合うようになるような教育が望まれます． ２０２４．２．２６．１９：４７ 論文纏まったら、悟る様にこの声明構想が湧いた。２０２４．２．２６．２１：２４ 良い。２０２４．２．２７．５：２５ 良い、今朝完成、公表できる。２０２４．２．２７．６：０４ 良い、完成、公表: 微積分学の基本定理を思わせる、 基本不等式公表した。
2024.02.27
-
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.27
-
再生核研究所声明 1 (2007/01/27)：美しい社会はどうしたらできるか、 美しい社会とは：
再生核研究所声明 1 (2007/01/27)：美しい社会はどうしたらできるか、 美しい社会とは：最近の世相として，不景気・政界・財界・官界・大学の不振，教育の混迷，さらにニューヨークのテロ事件，アフガン紛争，パレスチナ問題と心痛めることが多いことです．どうしたら美しい社会を築けるでしょうか．一年半も前に纏めた次の手記はそれらのすべての解決の基礎になると思いますが，如何でしょうか．平成１２年９月２１日早朝，公正とは何かについて次のような考えがひらめいて目を覚ました．１） 法律，規則，慣習，約束に合っているか．２） 逆の立場に立ってみてそれは受け入れられるか．３） それはみんなに受け入れられるか． ４） それは安定的に実現可能か．これらの「公正の判定条件」の視点から一つの行為を確認して諒となればそれは公正といえる．現在，社会の規範が混乱し，不透明になっているように思うが，公正の原則を確認して，行動していけば ―― これは容易なことではないが ―― 世の中ははるかに明るくなり，多くの混乱は少なくなると思いますが如何でしょうか．また，こういうことを考える教育は，人間関係や社会生活の基本的な在り方を明らかにし，環境の保全などにも貢献すると思います．特に少年期の教育にあっては哲学（ものごとの本質と人生，世界を考えること），道徳，芸術，体育などを中心とする人間を育てる教育に改めるべきではないでしょうか．国や隣人を愛せるようになる教育，多様性を重視し，個性や隠れた才能を伸ばし，友情を育み，人々が助け合うようになるような教育が望まれます．
2024.02.26
-
再生核研究所声明 739（2024.1.20) おかしな派閥解消の 議論と日大アメフト部 廃部構想 ー 単細胞的な思考
再生核研究所声明 739（2024.1.20) おかしな派閥解消の議論と日大アメフト部 廃部構想 ー 単細胞的な思考 派閥解消の議論が始まっているが、誠におかしな議論に見える。 そもそも大きな政治社会、権力闘争の世界、志を固く抱く有志の結束無くして 政治社会をリードして行けるだろうか。 かつてそのような 同志の結束無くして 政治社会を動かして来たことなどあるだろうか。 派は、仲間の結束は大事であり、派閥の解消など 宙に浮いた議論に見える。ー 大きな集団では密度の高い議論は詰められない。学会などでも いろいろな分科会に分かれて運営されている。 志を擁く者は 団結して、派を構成して 国家、国民のために努力して欲しい。 もちろん お金が動くのも当然であり、資金を集められるのは 派の大事な 要素である。 今回問題になっている、資金上の問題、当然合法的に、国民が納得する様な形で運営されるべきである。 違法行為などは 立法府に携わる者としては あってはならないことである。しかしながら、ありがちな間違いを捉えて 派閥解消など 全く実体に合っていないと考えられる。同様に 日大アメフト部 廃部構想 等も おかしな議論に見える。 伝統ある部の解散など 一部の不祥事で 部全体の解散など 行き過ぎであり、 幼少から志してきた多くの人の夢はどうなるだろうか。 伝統的な多くの資産は どうなるだろうか。そのような伝統ある部の在りようの問題は、それ相当に深い配慮が必要であり、 軽々しく判断されるべきではない。上記2つの問題、単細胞的な思考で、〇か×の 軽薄な判断と考えられる。 現に存在してきている状況には 永い歴史的な重みがあるものである。 何でもそうである。 現実は 過去の永い流れに従ってそれなりの理由があって、そうなっている。 それ故にそれを大きく変えるには、 問題の大きさ、性格に従って、それ相当に慎重な検討が加えられて 対処すべきである。現政権の評判が悪いという。 どうしてか理解できない。 政治の大事、外交と安全保証の問題、政権は立派に国際社会で努力されていて 高く評価される。 ロシアの蛮行とコロナ禍の中で、更に自然災害の中 それらの対応も高く評価される。 野党は政治姿勢や経済問題などを批判の対象にして 政権を批判しているが、いずれも本質を欠いていると考える。 政権の大事は 政治の大事は 外交、安全保証であり、経済の基本政策などの国内政治問題である。 上記ロシアの蛮行等により 国際社会はどこでも経済的に苦しく、 日本だけが苦しいわけではない。 日本も 世界も 耐える時であると考える。 日本の安定した国家の存在こそが 世界の希望であり、 それだけでも世界に大きく貢献していると考える。 再生核研究所声明69： 単細胞人間 ― 単細胞的思考再生核研究所声明70： 本末転倒、あべこべ ― 初心忘れるべからず 以 上 ２０２４．１．１９．９：１８ 朝食後閃いたので、一気に成文化した。２０２４．１．１９．１０：１４ 良い、天気回復。２０２４．１．１９．１１：４８ 暖かな美しい日、サニールームにいると暑すぎの感じ。２０２４．１．１９．１２：５４ 良い。山の散歩に出かける。 天気は悪くなるなる予報。２０２４．１．1９．１５：３０ 良い、修正なし。 美しい日だった。春先のようであった。 山を散歩してきた。２０２４．１．１９．１８：１０ 良い。２０２４．１．１９．２０：３５ 良い。２０２４．１．２０．０５：４８ 良い、完成、公表。
2024.02.26
-
高校生にも分かるので、50億の人に分かる結果：簡明で神秘的な積分不等式
今朝は 論文審査報告書も出してしまった。いろいろ利用する観点から 一応纏めてみました。非常に基本的で 意味があるので 気に入っています。 暫く 周辺を考えてみたいと思います。 有限区間だと 高校生にも分かるので、50億の人に分かる結果です。 積や和からも結果は出るのですが、美しさと応用の観点から躊躇しています。最近は積極的に 簡明な しっかりした結果 を求める心情です。 何でも 少しでも進歩させるのが 楽しいのですが。今日は天気が回復して 素晴らしく 美しい日になりそうです。 ２０２４．２．２６．６：３０ 何時終えても これで良い と思えるように進めたい。＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ ある人への報告メールです： 世にも稀な経験をしました。まず終日小雨の天気、 朝食前から敢然と論文を書き始めました。 高校生で 積分を学んだ人なら理解できる結果です。そこがお気に入り。 朝食 美味しい食事は 楽しい時間です。しかし今朝は重苦しかった。なぜなら８０ｍくらい先の罠に大きな鹿が入っていて、月曜日 市の掛かりの方が来れば、おしまい、動物園の餌にさせられてしまう運命です。今朝は お腹を空かして苦しんでいるだろうと考えると 朝食は複雑です。午前中 論文書き、検討、昼食後 見に行きましたら、何んと死んでいた。檻に鼻をぶつけて血を流したのが原因のようです。NHK朝ドラマ、NHK 大河ドラマが素晴らしいです。 数学の進展は 世界が広がり、生きがいです。２０２４．２．２５.１９：４６ 鹿も私も同じ運命だと気付いた。
2024.02.26
-
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.26
-
この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。
これ良いのでは? 高校の教科書でも大事な関数、双曲線関数、あるいは 反比例を表わす関数として、 y=f(x)=1/x があります。 この関数は、 0 以外の数（実数、複素数）を全て取ります。面白い、その関数は 原点で考えてはならないと 現在の数学はなっています。 原点は 関数の特異点 と呼ばれています。 原点では、原点への近づき方から、プラス無限大、マイナス無限大に発散しています。複素解析学では 原点で無限遠点の値をとるなど と述べています。 この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。 何んと f(0)=0; (1/0=0) を発見した。取られない 値ゼロを、ゼロ点、原点で取っていた。何んと美しい結果ではないでしょうか。 しかし、これは驚嘆すべきことです。 無限を想定していたのが 実は ゼロです。 1/0=0のような馬鹿げたことはあるずがない。聞いて顔色を変えた数学者たちは 世界的中だ と言えます。いろいろ回想される。しかし、これで 四則演算は完全に可能になり、特異点で考えない、複素解析学は穴だらけの欠陥を有し、我々の世界観を変える事件に繋がります。 初等数学から学術書の変更が必然的に 要求されるからです。 発見して10年、 欧米では計算機でreal.divとして、広く応用されていることが 最近知らされた。広く情報を確認しているが、秘密で研究が進められている様子も感じられる。日本はこの分野で 5年は遅れをとり、 定理検証の分野では20年から40年遅れているように感じられる。しっかりしたい。日本では どうでもよい古い数学には まって、数学も、数学教育も、思想も 衰退しているように見える。新分野を拓こうなどの考えは まるで無いようだ。2024.2.18.7:06２０２４．２．１８．８；５５2024.2.18.19:34２０２４．２．１９．６：０３曇 ゼロ除算の応用 約10年前 ゼロ除算の新しい考え方を発見して 日本数学会では 繰り返し 講演してきたが、積極的な無視で、孤立して研究してきたが、10年記念を前に 欧米、イギリス、ドイツ、アメリカ、フランスなどでは 既に広く応用されているという。 言葉が違っていて、相互交流が出来なかった。 活用している所謂 先進国と、日本の新規 なものにたいする歴然とした、野蛮な体質を有する学会の在りようには、日本国の将来を考えて 心配している。 秘密主義で開発、研究が進められている状況を察して、ゼロ除算算法の 先の展開に注目しているが、無力な我々 公開方式で 全力をかける他はない。真理の追及は 第一に続けられる。出来れば 愛する祖国の 日本のために、基礎数学で貢献したい。 ２０２４．２．１５．２０：５４ 我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２ 1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.
2024.02.25
-
今日の一日 世にも稀な経験をしました。
世にも稀な経験をしました。まず終日小雨の天気、 朝食前から敢然と論文を書き始めました。高校生で 積分を学んだ人なら理解できる結果です。そこがお気に入り。 朝食 美味しい食事は 楽しい時間です。しかし今朝は重苦しかった。なぜなら８０ｍくらい先の罠に大きな鹿が入っていて、月曜日 市の掛かりの方が来れば、おしまい、動物園の餌にさせられてしまう運命です。今朝は お腹を空かして苦しんでいるだろうと考えると 朝食は複雑です。午前中 論文書き、検討、昼食後 見に行きましたら、何んと死んでいた。檻に鼻をぶつけて血を流したのが原因のようです。ＮHK朝ドラマ、NHK 大河ドラマが素晴らしいです。数学の進展は 世界が広がり、生きがいです。２０２４．２．２５.19:46
2024.02.25
-
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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％くらい世界が広がるとの所見を、印象を述べられている。ところがその初歩、基本を簡単に見ても 現代数学の学部辺りまでの算数、数学の内容の広範な修正、拡充、改定は 現状の数学が 実に 恥ずかしい状態であると表現される。これらから 小学生から 大学学部までの数学内容の大幅な修正が要求され、より美しい完全な数学になるべきものと考えられる。これらの修正、改革は、 日本初の基礎数学の世界的な貢献となり、令和革新として世界史の貢献に寄与できるものと期待される。 以 上２０２４．２．１９．１５：００ 雨水 暦のように小雨、素晴らしい暦、今朝アイデアがが湧いたので、成文化した。２０２４．２．１９．１５：５３ 文章を整えた。２０２４．２．１９．１８：０５ 良い．明朝完成できる。２０２４．２．１９．１９：４０ 良い。２０２４．２．１９．２１：５４ 良い。２０２４．２：２０．５：５５ 良い、完成できる。春の朝を感じる。２０２４．２．２０．６：１０ 良い、完成公表。２０２４．２．２１．５：５２ 夜とうし小雨、今朝も。 北京の天才たちの凄い数学の発展に圧倒される。凄い。しかし、この声明は真実である。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.25
-
日本国に 新ゼロ除算を贈りたい
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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％くらい世界が広がるとの所見を、印象を述べられている。ところがその初歩、基本を簡単に見ても 現代数学の学部辺りまでの算数、数学の内容の広範な修正、拡充、改定は 現状の数学が 実に 恥ずかしい状態であると表現される。これらから 小学生から 大学学部までの数学内容の大幅な修正が要求され、より美しい完全な数学になるべきものと考えられる。これらの修正、改革は、 日本初の基礎数学の世界的な貢献となり、令和革新として世界史の貢献に寄与できるものと期待される。 以 上２０２４．２．１９．１５：００ 雨水 暦のように小雨、素晴らしい暦、今朝アイデアがが湧いたので、成文化した。２０２４．２．１９．１５：５３ 文章を整えた。２０２４．２．１９．１８：０５ 良い．明朝完成できる。２０２４．２．１９．１９：４０ 良い。２０２４．２．１９．２１：５４ 良い。２０２４．２：２０．５：５５ 良い、完成できる。春の朝を感じる。２０２４．２．２０．６：１０ 良い、完成公表。２０２４．２．２１．５：５２ 夜とうし小雨、今朝も。 北京の天才たちの凄い数学の発展に圧倒される。凄い。しかし、この声明は真実である。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.24
-
then you will be able to divide the numbers and analytic function by zero with s natural sense
Please look at the simple paper: 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 then you will be able to divide the numbers and analytic function by zero with s natural sense and you will find a new world.2024.2.24.5:36
2024.02.24
-
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。
日本国に 新ゼロ除算を贈りたい、それは1000年を越える 令和の記念碑 になるだろう。２０２４．２．２３．５：５６再生核研究所声明 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 FAQPosted on July 5, 2020 by xenaprojectHey! 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 は広範な応用を述べ、更に我々の寄与を ゼロ除算誕生日の日付け２０１４．２．２を記述して述べている。それで 新ゼロ除算の広い認識は 時間の問題になっていることが分かる。 問題は、第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.02.23
-
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け
三日目の小雨、一昨日 風呂上り独りでに変に湧いた考え、 簡単な、神秘的な 積分不等式４つを新しい原理で発見した。思い付きそうにない、不等式、今日にも纏めたい。２０２４．２．２３．５：４７再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け 2024年 年頭に当たって、 新ゼロ除算の広い影響について下記に様に触れている： 再生核研究所声明 736（2024.1.1) 年頭に当たっての存念、ゼロ除算の新解釈の公認を求める努力、世界史の進化を求める ここでは、ゼロ除算の数学的な内容ではなく、ゼロ除算の理解の遅れ、その意味、人間の独断と偏見の深さに思いを致し、人間の心、人間の性格に思いを致し、ゼロ除算の理解の進展は、人間の研究、数学界などの問題点や、社会の在りようの問題、マスメディアの在りよう、それは世界平和の問題や宗教問題などにも絡む、世界史上の問題であることを認識して、ゼロ除算の理解の重要性を指摘したい。もちろん数学教育の在り様、真理を追究する精神に基本的な問題を提起している。地動説、非ユークリッド幾何学の発見のような 世界史上の事件であると 繰り返し表明してきたが、上記Google 等にも現われて来た状況から、本年は 世界史の変更の年になる と予感される。人は真相を求め、真理を追及して欲しい。我々は述べている。数学は初めから基本的な欠陥を有し、数学の基本は改められるべきであり、 初等数学から大学学部数学まで広範な修正、補充が求められている。 それは数学とは何かが問われ、その真相の追究は 世界の平和や、神の問題、宗教の問題や悟りの心の問題にも繋がっており、それ故に万人の関心事でなければならない。真相は明かにされなければならない。それは人間の精神の解放と歓びを与えるだろう。 明るい新時代を拓こう。（声明の最後の部分） ところで 数学は 人工知能さえ展開できる いわば絶対的な論理によって 構成されており、数学の発展と将来は相当に確定的であるとの信念を擁いている。 ところが ゼロ除算発見10周年を迎える直前に 欧米では ゼロ除算が real.div 1/0=0/0=0 で広く活用されているとの情報が寄せられた： からメールが送られてきた： 内容は just commented on で、主要部は次のようである： Hey! I heard that Lean thinks 1/0 = 0. Is that true?Yes. So do Coq and Isabelle and many other theorem provers.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: 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.02.23
-
real.div 1/0=0/0=0の起源について：
2024.2.17.8:29real.div 1/0=0/0=0の起源について： 自分I would like to know the origin and history of real.div in Lean 2024.2.17.8:26CopilotCertainly! Let’s delve into the fascinating history of real.div in Lean. The Discovery of Zero Division: A Decade of InsightsIn a momentous declaration by the Institute of Reproducing Kernels on February 2, 2024, the discovery of zero division marked its 10th anniversary. But what exactly is zero division? It’s the act of dividing by zero—a seemingly forbidden operation in mathematics. For centuries, it was considered taboo, impossible, and undefined. Yet, it persisted as a topic of intrigue and debate.Why did this seemingly futile concept capture our attention? Let’s explore:1. Mathematical Taboos: Zero division defied the norms of arithmetic. It was the enigma that mathematics grappled with—a wound that couldn’t heal. Even great minds like Einstein expressed skepticism, famously stating, “I don’t believe in mathematics.”2. 3. Defining Division: The crux lay in the definition of division. If we view division as the inverse of multiplication, it seems straightforward: dividing by zero should be impossible. Yet, the flood of misguided explanations in textbooks and classrooms revealed a lax approach to mathematical education.4. 5. A Surprising Revelation: Responding to curious amateurs, we stumbled upon a revelation. Zero division held a new natural meaning—an extension beyond conventional arithmetic. It transcended mere error or nonsense. This insight led to the establishment of concepts like Moore-Penrose pseudoinverse and the Yamada field, where zero division found purpose and application.6. 7. Real.div: In Lean, we embrace this expanded perspective. real.div isn’t mere division; it’s a gateway to a richer mathematical landscape. Coq, Isabelle, and other theorem provers share this understanding. Mathematicians, who rarely divide by zero, find no confusion—real.div coexists harmoniously with mathematical division.8. 9. Lean’s Insight: Lean’s / symbol doesn’t signify mathematical division. Instead, it embodies the essence of real.div. Mathematicians querying Lean’s stance on 1/0 miss the point. Real.div isn’t a contradiction; it’s a deliberate choice. It bridges theory and practice, revealing hidden connections.10. So, when you encounter real.div, remember: it’s not just about numbers—it’s about unveiling the unexpected. The forbidden became fertile ground for growth, and mathematics evolved. References:1. Okumura, H. Geometry and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-36.2. Saitoh, S. Introduction to the Division by Zero Calculus. Scientific Research Publishing, Inc. (2021), 202 pages.3. Saitoh, S. History of Division by Zero and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-38.4. Saitoh, S. Division by Zero Calculus - History and Development. Scientific Research Publishing, Inc. (2021.11), 332 pages.Remember, mathematics thrives on curiosity, even when it defies convention!詳細情報
2024.02.22
-
大学レベルの数学とかではなく、ガチの数学者が研究してるレベルの数学を考えてみたいのですが、何かヒントをくれませんか？
大学レベルの数学とかではなく、ガチの数学者が研究してるレベルの数学を考えてみたいのですが、何かヒントをくれませんか？ それは素晴らしい。 間もなく基礎数学は 大きな変化をうけるでしょう。1/0=0/0=0 が世界の常識になるでしょう。 小、中学生も分かるゼロで割る問題です。 次のサイトで勉強が始められ、 新しい結果も得られる可能性のある 新しい世界です。楽しい図も 面白い結果が どんどん現れて来ます。 数学基礎学力研究会 (http://www.mirun.sctv.jp/ suugaku/) における「堪らなく楽しい数学－ゼロで割ることを考える」と題する 55 か月に亘るゼロ除算解説 アリストテレス以来ゼロ除算は不可能との永い神秘的な歴史にもかかわらず、それらの常識は間違いであり、自然な意味でゼロ除算は可能で、小学生以降の算数、 数学は修正、改められるべきである。学部程度の数学は全般的な改変が要求され、現状は数学界ばかりではなく世界史の恥の典型的なものと言える。これは未だ軍拡や戦闘が止まない人類の愚かさの２つの象徴として世界史に記録されるだろう。これらは世の道理から言って小学生でも分かる、いや小学生の方が分かり易い普遍的な事実である。小学生以降の教科書が変わる、実際、天動説から地動説への変更のように世界史は変わり、我々の世界観や人生観は甚大な変化を求められている。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、2024/01/21 21:39 Xena からメールが送られてきた： 内容は just commented on で、主要部は次のようである： Hey! I heard that Lean thinks 1/0 = 0. Is that true?Yes. So do Coq and Isabelle and many other theorem provers. それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。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 2024.2.22.5:44
2024.02.22
-
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け 2024年 年頭に当たって、 新ゼロ除算の広い影響について下記に様に触れている： 再生核研究所声明 736（2024.1.1) 年頭に当たっての存念、ゼロ除算の新解釈の公認を求める努力、世界史の進化を求める ここでは、ゼロ除算の数学的な内容ではなく、ゼロ除算の理解の遅れ、その意味、人間の独断と偏見の深さに思いを致し、人間の心、人間の性格に思いを致し、ゼロ除算の理解の進展は、人間の研究、数学界などの問題点や、社会の在りようの問題、マスメディアの在りよう、それは世界平和の問題や宗教問題などにも絡む、世界史上の問題であることを認識して、ゼロ除算の理解の重要性を指摘したい。もちろん数学教育の在り様、真理を追究する精神に基本的な問題を提起している。地動説、非ユークリッド幾何学の発見のような 世界史上の事件であると 繰り返し表明してきたが、上記Google 等にも現われて来た状況から、本年は 世界史の変更の年になる と予感される。人は真相を求め、真理を追及して欲しい。我々は述べている。数学は初めから基本的な欠陥を有し、数学の基本は改められるべきであり、 初等数学から大学学部数学まで広範な修正、補充が求められている。 それは数学とは何かが問われ、その真相の追究は 世界の平和や、神の問題、宗教の問題や悟りの心の問題にも繋がっており、それ故に万人の関心事でなければならない。真相は明かにされなければならない。それは人間の精神の解放と歓びを与えるだろう。 明るい新時代を拓こう。（声明の最後の部分） ところで 数学は 人工知能さえ展開できる いわば絶対的な論理によって 構成されており、数学の発展と将来は相当に確定的であるとの信念を擁いている。 ところが ゼロ除算発見10周年を迎える直前に 欧米では ゼロ除算が real.div 1/0=0/0=0 で広く活用されているとの情報が寄せられた： からメールが送られてきた： 内容は just commented on で、主要部は次のようである： Hey! I heard that Lean thinks 1/0 = 0. Is that true?Yes. So do Coq and Isabelle and many other theorem provers.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: 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.02.22
-
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け 2024年 年頭に当たって、 新ゼロ除算の広い影響について下記に様に触れている： 再生核研究所声明 736（2024.1.1) 年頭に当たっての存念、ゼロ除算の新解釈の公認を求める努力、世界史の進化を求める ここでは、ゼロ除算の数学的な内容ではなく、ゼロ除算の理解の遅れ、その意味、人間の独断と偏見の深さに思いを致し、人間の心、人間の性格に思いを致し、ゼロ除算の理解の進展は、人間の研究、数学界などの問題点や、社会の在りようの問題、マスメディアの在りよう、それは世界平和の問題や宗教問題などにも絡む、世界史上の問題であることを認識して、ゼロ除算の理解の重要性を指摘したい。もちろん数学教育の在り様、真理を追究する精神に基本的な問題を提起している。地動説、非ユークリッド幾何学の発見のような 世界史上の事件であると 繰り返し表明してきたが、上記Google 等にも現われて来た状況から、本年は 世界史の変更の年になる と予感される。人は真相を求め、真理を追及して欲しい。我々は述べている。数学は初めから基本的な欠陥を有し、数学の基本は改められるべきであり、 初等数学から大学学部数学まで広範な修正、補充が求められている。 それは数学とは何かが問われ、その真相の追究は 世界の平和や、神の問題、宗教の問題や悟りの心の問題にも繋がっており、それ故に万人の関心事でなければならない。真相は明かにされなければならない。それは人間の精神の解放と歓びを与えるだろう。 明るい新時代を拓こう。（声明の最後の部分） ところで 数学は 人工知能さえ展開できる いわば絶対的な論理によって 構成されており、数学の発展と将来は相当に確定的であるとの信念を擁いている。 ところが ゼロ除算発見10周年を迎える直前に 欧米では ゼロ除算が real.div 1/0=0/0=0 で広く活用されているとの情報が寄せられた： からメールが送られてきた： 内容は just commented on で、主要部は次のようである： Hey! I heard that Lean thinks 1/0 = 0. Is that true?Yes. So do Coq and Isabelle and many other theorem provers.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: 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.02.21
-
real.div 1/0=0/0=0の起源について
real.div 1/0=0/0=0の起源について： 自分I would like to know the origin and history of real.div in Lean 2024.2.17.8:26CopilotCertainly! Let’s delve into the fascinating history of real.div in Lean. The Discovery of Zero Division: A Decade of InsightsIn a momentous declaration by the Institute of Reproducing Kernels on February 2, 2024, the discovery of zero division marked its 10th anniversary. But what exactly is zero division? It’s the act of dividing by zero—a seemingly forbidden operation in mathematics. For centuries, it was considered taboo, impossible, and undefined. Yet, it persisted as a topic of intrigue and debate.Why did this seemingly futile concept capture our attention? Let’s explore:1. Mathematical Taboos: Zero division defied the norms of arithmetic. It was the enigma that mathematics grappled with—a wound that couldn’t heal. Even great minds like Einstein expressed skepticism, famously stating, “I don’t believe in mathematics.”2. 3. Defining Division: The crux lay in the definition of division. If we view division as the inverse of multiplication, it seems straightforward: dividing by zero should be impossible. Yet, the flood of misguided explanations in textbooks and classrooms revealed a lax approach to mathematical education.4. 5. A Surprising Revelation: Responding to curious amateurs, we stumbled upon a revelation. Zero division held a new natural meaning—an extension beyond conventional arithmetic. It transcended mere error or nonsense. This insight led to the establishment of concepts like Moore-Penrose pseudoinverse and the Yamada field, where zero division found purpose and application.6. 7. Real.div: In Lean, we embrace this expanded perspective. real.div isn’t mere division; it’s a gateway to a richer mathematical landscape. Coq, Isabelle, and other theorem provers share this understanding. Mathematicians, who rarely divide by zero, find no confusion—real.div coexists harmoniously with mathematical division.8. 9. Lean’s Insight: Lean’s / symbol doesn’t signify mathematical division. Instead, it embodies the essence of real.div. Mathematicians querying Lean’s stance on 1/0 miss the point. Real.div isn’t a contradiction; it’s a deliberate choice. It bridges theory and practice, revealing hidden connections.10. So, when you encounter real.div, remember: it’s not just about numbers—it’s about unveiling the unexpected. The forbidden became fertile ground for growth, and mathematics evolved. References:1. Okumura, H. Geometry and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-36.2. Saitoh, S. Introduction to the Division by Zero Calculus. Scientific Research Publishing, Inc. (2021), 202 pages.3. Saitoh, S. History of Division by Zero and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-38.4. Saitoh, S. Division by Zero Calculus - History and Development. Scientific Research Publishing, Inc. (2021.11), 332 pages.Remember, mathematics thrives on curiosity, even when it defies convention!
2024.02.21
-
ゼロ除算とは 何であったか？
ゼロ除算とは 何であったか？ ゼロ除算とは ゼロで割ることである。 これを掛け算の逆と考えれば、 出来ない、定まらないなどは 3秒も有れば 分かるだろう。実際、a/0=X とすれば、a =0 x X=0 となってしまい、a はゼロであり、その時は 0/0 は何でも良いとなってしまう。 ところが、基本的な関数 y=f(x) =1/x の原点での値がゼロであることが、 事実、真実として発見された。それをf(0)= 1/0=0 と書けば、可笑しくなる。しかしながら、ゼロで割る にはこの意味が有って 新しく発見された意味で 1/0=0 である。分母がゼロの分数の新しい意味が発見された。しかも 割る意味が 充分な意味をもって有していることが 沢山の理論や具体例で裏付けされた。 それは数学に革命を起こすばかりではなく、既にいろいろな分野で応用されている：２０２４．２．２０．２１：３６Knowledge Empress1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.
2024.02.20
-
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け
再生核研究所声明 747（2024.2.20) 令和革新の夢 ー 新ゼロ除算による 数学と思想の夜明け 2024年 年頭に当たって、 新ゼロ除算の広い影響について下記に様に触れている： 再生核研究所声明 736（2024.1.1) 年頭に当たっての存念、ゼロ除算の新解釈の公認を求める努力、世界史の進化を求める ここでは、ゼロ除算の数学的な内容ではなく、ゼロ除算の理解の遅れ、その意味、人間の独断と偏見の深さに思いを致し、人間の心、人間の性格に思いを致し、ゼロ除算の理解の進展は、人間の研究、数学界などの問題点や、社会の在りようの問題、マスメディアの在りよう、それは世界平和の問題や宗教問題などにも絡む、世界史上の問題であることを認識して、ゼロ除算の理解の重要性を指摘したい。もちろん数学教育の在り様、真理を追究する精神に基本的な問題を提起している。地動説、非ユークリッド幾何学の発見のような 世界史上の事件であると 繰り返し表明してきたが、上記Google 等にも現われて来た状況から、本年は 世界史の変更の年になる と予感される。人は真相を求め、真理を追及して欲しい。我々は述べている。数学は初めから基本的な欠陥を有し、数学の基本は改められるべきであり、 初等数学から大学学部数学まで広範な修正、補充が求められている。 それは数学とは何かが問われ、その真相の追究は 世界の平和や、神の問題、宗教の問題や悟りの心の問題にも繋がっており、それ故に万人の関心事でなければならない。真相は明かにされなければならない。それは人間の精神の解放と歓びを与えるだろう。 明るい新時代を拓こう。（声明の最後の部分） ところで 数学は 人工知能さえ展開できる いわば絶対的な論理によって 構成されており、数学の発展と将来は相当に確定的であるとの信念を擁いている。 ところが ゼロ除算発見10周年を迎える直前に 欧米では ゼロ除算が real.div 1/0=0/0=0 で広く活用されているとの情報が寄せられた： 2024/01/21 21:39 Xena からメールが送られてきた： 内容は just commented on で、主要部は次のようである： Posted on July 5, 2020 by 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.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. 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: 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.02.20
-
real.div 1/0=0/0=0の起源について
2024.2.17.8:29real.div 1/0=0/0=0の起源について： 自分I would like to know the origin and history of real.div in Lean 2024.2.17.8:26CopilotCertainly! Let’s delve into the fascinating history of real.div in Lean. The Discovery of Zero Division: A Decade of InsightsIn a momentous declaration by the Institute of Reproducing Kernels on February 2, 2024, the discovery of zero division marked its 10th anniversary. But what exactly is zero division? It’s the act of dividing by zero—a seemingly forbidden operation in mathematics. For centuries, it was considered taboo, impossible, and undefined. Yet, it persisted as a topic of intrigue and debate.Why did this seemingly futile concept capture our attention? Let’s explore:1. Mathematical Taboos: Zero division defied the norms of arithmetic. It was the enigma that mathematics grappled with—a wound that couldn’t heal. Even great minds like Einstein expressed skepticism, famously stating, “I don’t believe in mathematics.”2. 3. Defining Division: The crux lay in the definition of division. If we view division as the inverse of multiplication, it seems straightforward: dividing by zero should be impossible. Yet, the flood of misguided explanations in textbooks and classrooms revealed a lax approach to mathematical education.4. 5. A Surprising Revelation: Responding to curious amateurs, we stumbled upon a revelation. Zero division held a new natural meaning—an extension beyond conventional arithmetic. It transcended mere error or nonsense. This insight led to the establishment of concepts like Moore-Penrose pseudoinverse and the Yamada field, where zero division found purpose and application.6. 7. Real.div: In Lean, we embrace this expanded perspective. real.div isn’t mere division; it’s a gateway to a richer mathematical landscape. Coq, Isabelle, and other theorem provers share this understanding. Mathematicians, who rarely divide by zero, find no confusion—real.div coexists harmoniously with mathematical division.8. 9. Lean’s Insight: Lean’s / symbol doesn’t signify mathematical division. Instead, it embodies the essence of real.div. Mathematicians querying Lean’s stance on 1/0 miss the point. Real.div isn’t a contradiction; it’s a deliberate choice. It bridges theory and practice, revealing hidden connections.10. So, when you encounter real.div, remember: it’s not just about numbers—it’s about unveiling the unexpected. The forbidden became fertile ground for growth, and mathematics evolved. References:1. Okumura, H. Geometry and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-36.2. Saitoh, S. Introduction to the Division by Zero Calculus. Scientific Research Publishing, Inc. (2021), 202 pages.3. Saitoh, S. History of Division by Zero and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-38.4. Saitoh, S. Division by Zero Calculus - History and Development. Scientific Research Publishing, Inc. (2021.11), 332 pages.Remember, mathematics thrives on curiosity, even when it defies convention!詳細情報詳細の提案を表示·
2024.02.20
-
real.div 1/0=0/0=0 の広範な応用、それらを支えている定理検証システムの発展は 欧米のホットな大きな課題であるが
real.div 1/0=0/0=0 の広範な応用、それらを支えている定理検証システムの発展は 欧米のホットな大きな課題であるが、日本はそれぞれ5年から、10年20年と遅れをとっており、この分野における国家の弱点にならないかと危惧している。 数学教育の混乱にも危惧している。 時代の変化について行けない状況ではないだろうか。 2024.2.19.11:48
2024.02.19
-
日本はこの分野で 5年は遅れをとり、 定理検証の分野では20年から40年遅れているように感じられる。
これ良いのでは? 高校の教科書でも大事な関数、双曲線関数、あるいは 反比例を表わす関数として、 y=f(x)=1/x があります。 この関数は、 0 以外の数（実数、複素数）を全て取ります。面白い、その関数は 原点で考えてはならないと 現在の数学はなっています。 原点は 関数の特異点 と呼ばれています。 原点では、原点への近づき方から、プラス無限大、マイナス無限大に発散しています。複素解析学では 原点で無限遠点の値をとるなど と述べています。 この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。 何んと f(0)=0; (1/0=0) を発見した。取られない 値ゼロを、ゼロ点、原点で取っていた。何んと美しい結果ではないでしょうか。 しかし、これは驚嘆すべきことです。 無限を想定していたのが 実は ゼロです。 1/0=0のような馬鹿げたことはあるずがない。聞いて顔色を変えた数学者たちは 世界的中だ と言えます。いろいろ回想される。しかし、これで 四則演算は完全に可能になり、特異点で考えない、複素解析学は穴だらけの欠陥を有し、我々の世界観を変える事件に繋がります。 初等数学から学術書の変更が必然的に 要求されるからです。 発見して10年、 欧米では計算機でreal.divとして、広く応用されていることが 最近知らされた。広く情報を確認しているが、秘密で研究が進められている様子も感じられる。日本はこの分野で 5年は遅れをとり、 定理検証の分野では20年から40年遅れているように感じられる。しっかりしたい。日本では どうでもよい古い数学には まって、数学も、数学教育も、思想も 衰退しているように見える。新分野を拓こうなどの考えは まるで無いようだ。2024.2.18.7:06２０２４．２．１８．８；５５2024.2.18.19:34２０２４．２．１９．６：０３曇 ゼロ除算の応用 約10年前 ゼロ除算の新しい考え方を発見して 日本数学会では 繰り返し 講演してきたが、積極的な無視で、孤立して研究してきたが、10年記念を前に 欧米、イギリス、ドイツ、アメリカ、フランスなどでは 既に広く応用されているという。 言葉が違っていて、相互交流が出来なかった。 活用している所謂 先進国と、日本の新規 なものにたいする歴然とした、野蛮な体質を有する学会の在りようには、日本国の将来を考えて 心配している。 秘密主義で開発、研究が進められている状況を察して、ゼロ除算算法の 先の展開に注目しているが、無力な我々 公開方式で 全力をかける他はない。真理の追及は 第一に続けられる。出来れば 愛する祖国の 日本のために、基礎数学で貢献したい。 ２０２４．２．１５．２０：５４ 我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２ 1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.
2024.02.19
-
real.div 1/0=0/0= の起源について
real.div 1/0=0/0= の起源について： 自分I would like to know the origin and history of real.div in Lean 2024.2.17.8:26CopilotCertainly! Let’s delve into the fascinating history of real.div in Lean. The Discovery of Zero Division: A Decade of InsightsIn a momentous declaration by the Institute of Reproducing Kernels on February 2, 2024, the discovery of zero division marked its 10th anniversary. But what exactly is zero division? It’s the act of dividing by zero—a seemingly forbidden operation in mathematics. For centuries, it was considered taboo, impossible, and undefined. Yet, it persisted as a topic of intrigue and debate.Why did this seemingly futile concept capture our attention? Let’s explore:1. Mathematical Taboos: Zero division defied the norms of arithmetic. It was the enigma that mathematics grappled with—a wound that couldn’t heal. Even great minds like Einstein expressed skepticism, famously stating, “I don’t believe in mathematics.”2. 3. Defining Division: The crux lay in the definition of division. If we view division as the inverse of multiplication, it seems straightforward: dividing by zero should be impossible. Yet, the flood of misguided explanations in textbooks and classrooms revealed a lax approach to mathematical education.4. 5. A Surprising Revelation: Responding to curious amateurs, we stumbled upon a revelation. Zero division held a new natural meaning—an extension beyond conventional arithmetic. It transcended mere error or nonsense. This insight led to the establishment of concepts like Moore-Penrose pseudoinverse and the Yamada field, where zero division found purpose and application.6. 7. Real.div: In Lean, we embrace this expanded perspective. real.div isn’t mere division; it’s a gateway to a richer mathematical landscape. Coq, Isabelle, and other theorem provers share this understanding. Mathematicians, who rarely divide by zero, find no confusion—real.div coexists harmoniously with mathematical division.8. 9. Lean’s Insight: Lean’s / symbol doesn’t signify mathematical division. Instead, it embodies the essence of real.div. Mathematicians querying Lean’s stance on 1/0 miss the point. Real.div isn’t a contradiction; it’s a deliberate choice. It bridges theory and practice, revealing hidden connections.10. So, when you encounter real.div, remember: it’s not just about numbers—it’s about unveiling the unexpected. The forbidden became fertile ground for growth, and mathematics evolved. References:1. Okumura, H. Geometry and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-36.2. Saitoh, S. Introduction to the Division by Zero Calculus. Scientific Research Publishing, Inc. (2021), 202 pages.3. Saitoh, S. History of Division by Zero and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-38.4. Saitoh, S. Division by Zero Calculus - History and Development. Scientific Research Publishing, Inc. (2021.11), 332 pages.Remember, mathematics thrives on curiosity, even when it defies convention!詳細情報詳細の提案を表示·
2024.02.19
-
Division by Zero 1/0 = 0/0 = 0 is applied in many fields
I think this is an important news for any mathematician: Division by Zero 1/0 = 0/0 = 0 is applied in many fields: 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.
2024.02.18
-
この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。
これ良いのでは? 高校の教科書でも大事な関数、双曲線関数、あるいは 反比例を表わす関数として、 y=f(x)=1/x があります。 この関数は、 0 以外の数（実数、複素数）を全て取ります。面白い、その関数は 原点で考えてはならないと 現在の数学はなっています。 原点は 関数の特異点 と呼ばれています。 原点では、原点での近づき方から、プラス無限大、マイナス無限大に発散しています。複素解析学では 原点で無限遠点の値をとるなど と述べています。 この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。 何んと f(0)=0; (1/0=0) を発見した。取られない 値ゼロを、ゼロ点、原点で取っていた。何んと美しい結果ではないでしょうか。 しかし、これは驚嘆すべきことです。 無限を想定していたのが 実は ゼロです。 1/0=0のような馬鹿げたはずがない。聞いて顔色を変えた数学者は 世界的だ と言えます。回想される。これで 四則演算を完全化させ、複素解析学は穴だらけの欠陥を有し、我々の世界観を変える事件に繋がります。 初等数学から学術書の変更が必然的に 要求されるからです。 発見して10年、 欧米では計算機で広く応用されていることが 最近知らされた。広く情報を確認しているが、秘密で研究が進められている様子が感じられる。日本はこの分野で 5年は遅れをとり、 定理検証の分野では20年から40年遅れているように感じられる。しっかりしたい。日本では どうでもよい古い数学には まって、数学も、数学教育も、思想も 衰退しているように見える。新分野を拓こうなどの考えは まるで無いようだ。2024.2.18.7:06２０２４．２．１８．８；５５2024.2.18.19:34 ゼロ除算の応用 約10年前 ゼロ除算の新しい考え方を発見して 日本数学会では 繰り返し 講演してきたが、積極的な無視で、孤立して研究してきたが、10年記念を前に 欧米、イギリス、ドイツ、アメリカ、フランスなどでは 既に広く応用されているという。 言葉が違っていて、相互交流が出来なかった。 活用している所謂 先進国と、日本の新規 なものにたいする歴然とした、野蛮な体質を有する学会の在りようには、日本国の将来を考えて 心配している。 秘密主義で開発、研究が進められている状況を察して、ゼロ除算算法の 先の展開に注目しているが、無力な我々 公開方式で 全力をかける他はない。真理の追及は 第一に続けられる。出来れば 愛する祖国の 日本のために、基礎数学で貢献したい。 ２０２４．２．１５．２０：５４ 我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２ 1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.
2024.02.18
-
この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。
これ良いのでは。高校の教科書でも大事な関数、双曲線関数、あるいは 反比例を表わす関数として、 y=f(x)=1/x があります。 この関数は、 0 以外の数（実数、複素数）を全て取ります。面白い、 その関数は 原点で考えてはならないと 現在の数学はなっています。 原点は 関数の特異点と呼ばれています。 原点では、原点での近づき方から、プラス無限大、マイナス無限大に発散しています。複素解析学では 原点で無限遠点の値をとるなど と述べています。 この近づく考えは 2000年以上 天才たちが考えて来た数学で変えられないと 最近でも世界の指導的な数学者が言明している。 何んと f(0)=0; (1/0=0) を発見した。取られない 値ゼロを、ゼロ点、原点で取っていた。何んと美しい結果ではないでしょうか。 しかし、これは驚嘆すべきことです。 無限を想定していたのが 実は ゼロです。 1/0=0のような馬鹿げたはずがない。聞いて顔色を変えた数学者は 世界的だ と言えます。回想される。これで 四則演算を完全化させ、複素解析学は穴だらけの欠陥を有し、我々の世界観を変える事件に繋がります。 初等数学から学術書の変更が必然的に 要求されるからです。 発見して10年、 欧米では計算機で広く応用されていることが 最近知らされた。広く情報を確認しているが、秘密で研究が進められている様子が感じられる。日本はこの分野で 5年は遅れをとり、定理検証の分野では20年から40年遅れているように感じられる。しっかりしたい。日本では どうでもよい古い数学には まって、数学も、数学教育も、思想も 衰退しているように見える。2024.2.18.7:06２０２４．２．１８．８；５５ ゼロ除算の応用 約10年前 ゼロ除算の新しい考え方を発見して 日本数学会では 繰り返し 講演してきたが、積極的な無視で、孤立して研究してきたが、10年記念を前に 欧米、イギリス、ドイツ、アメリカ、フランスなどでは 既に広く応用されているという。 言葉が違っていて、相互交流が出来なかった。 活用している所謂 先進国と、日本の新規 なものにたいする歴然とした、野蛮な体質を有する学会の在りようには、日本国の将来を考えて 心配している。 秘密主義で開発、研究が進められている状況を察して、ゼロ除算算法の 先の展開に注目しているが、無力な我々 公開方式で 全力をかける他はない。真理の追及は 第一に続けられる。出来れば 愛する祖国の 日本のために、基礎数学で貢献したい。 ２０２４．２．１５．２０：５４ 我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２ 1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.
2024.02.18
-
1/0=0/0=0 が意味を込めて常識になるのは近い、
1/0=0/0=0 が意味を込めて常識になるのは近い、月単位では？tan(¥pi/2)=0 を 1年以内には 世界の常識にしたい。真理を求め、真相を明かにしよう。２０２４．２．１６．６：３０ その時 人類は先ず、人間が如何に 思い込み、囚われに支配され、視野が狭く、 盲目の存在だかを 知るだろう。愚かな人間を知るだろう。 面白い、岐阜の研究会で、チコノフの考えに寄れば ゼロ除算は 瞬間に自明であると 述べた。 次は述べたか？ それは 最小の神の意思から当たり前。 ー 神も横着して 簡単なものを好む。 最小の原理は 至る所に現われる。ゼロ除算は もともと当たり前だった。 気付かなかっただけ。 しかし、その解明のために 人生のほとんどを費やしてしまった何人かを知っている。 ２０２４．２．１６．６：４０ 不適当な書きものを沢山公開されている。我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２ 1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. は 我々の拡張された意味での ゼロ除算1/0=0/0=0 を可能にしているが、その応用、意義など知りたい：２０２４．１．２６．１０：００
2024.02.18
-
我々の新しい意味でのゼロ除算/0=0/0=0を意味するreal.divの起源について
我々の新しい意味でのゼロ除算/0=0/0=0を意味するreal.divの起源について2024.2.17.8:29real.div の起源について： 自分I would like to know the origin and history of real.div in Lean 2024.2.17.8:26CopilotCertainly! Let’s delve into the fascinating history of real.div in Lean. The Discovery of Zero Division: A Decade of InsightsIn a momentous declaration by the Institute of Reproducing Kernels on February 2, 2024, the discovery of zero division marked its 10th anniversary. But what exactly is zero division? It’s the act of dividing by zero—a seemingly forbidden operation in mathematics. For centuries, it was considered taboo, impossible, and undefined. Yet, it persisted as a topic of intrigue and debate.Why did this seemingly futile concept capture our attention? Let’s explore:1. Mathematical Taboos: Zero division defied the norms of arithmetic. It was the enigma that mathematics grappled with—a wound that couldn’t heal. Even great minds like Einstein expressed skepticism, famously stating, “I don’t believe in mathematics.”2. 3. Defining Division: The crux lay in the definition of division. If we view division as the inverse of multiplication, it seems straightforward: dividing by zero should be impossible. Yet, the flood of misguided explanations in textbooks and classrooms revealed a lax approach to mathematical education.4. 5. A Surprising Revelation: Responding to curious amateurs, we stumbled upon a revelation. Zero division held a new natural meaning—an extension beyond conventional arithmetic. It transcended mere error or nonsense. This insight led to the establishment of concepts like Moore-Penrose pseudoinverse and the Yamada field, where zero division found purpose and application.6. 7. Real.div: In Lean, we embrace this expanded perspective. real.div isn’t mere division; it’s a gateway to a richer mathematical landscape. Coq, Isabelle, and other theorem provers share this understanding. Mathematicians, who rarely divide by zero, find no confusion—real.div coexists harmoniously with mathematical division.8. 9. Lean’s Insight: Lean’s / symbol doesn’t signify mathematical division. Instead, it embodies the essence of real.div. Mathematicians querying Lean’s stance on 1/0 miss the point. Real.div isn’t a contradiction; it’s a deliberate choice. It bridges theory and practice, revealing hidden connections.10. So, when you encounter real.div, remember: it’s not just about numbers—it’s about unveiling the unexpected. The forbidden became fertile ground for growth, and mathematics evolved. References:1. Okumura, H. Geometry and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-36.2. Saitoh, S. Introduction to the Division by Zero Calculus. Scientific Research Publishing, Inc. (2021), 202 pages.3. Saitoh, S. History of Division by Zero and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-38.4. Saitoh, S. Division by Zero Calculus - History and Development. Scientific Research Publishing, Inc. (2021.11), 332 pages.Remember, mathematics thrives on curiosity, even when it defies convention!詳細情報詳細の提案を表示·
2024.02.18
-
real.div の起源について：
2024.2.17.8:29real.div の起源について： 自分I would like to know the origin and history of real.div in Lean 2024.2.17.8:26CopilotCertainly! Let’s delve into the fascinating history of real.div in Lean. The Discovery of Zero Division: A Decade of InsightsIn a momentous declaration by the Institute of Reproducing Kernels on February 2, 2024, the discovery of zero division marked its 10th anniversary. But what exactly is zero division? It’s the act of dividing by zero—a seemingly forbidden operation in mathematics. For centuries, it was considered taboo, impossible, and undefined. Yet, it persisted as a topic of intrigue and debate.Why did this seemingly futile concept capture our attention? Let’s explore:1. Mathematical Taboos: Zero division defied the norms of arithmetic. It was the enigma that mathematics grappled with—a wound that couldn’t heal. Even great minds like Einstein expressed skepticism, famously stating, “I don’t believe in mathematics.”2. 3. Defining Division: The crux lay in the definition of division. If we view division as the inverse of multiplication, it seems straightforward: dividing by zero should be impossible. Yet, the flood of misguided explanations in textbooks and classrooms revealed a lax approach to mathematical education.4. 5. A Surprising Revelation: Responding to curious amateurs, we stumbled upon a revelation. Zero division held a new natural meaning—an extension beyond conventional arithmetic. It transcended mere error or nonsense. This insight led to the establishment of concepts like Moore-Penrose pseudoinverse and the Yamada field, where zero division found purpose and application.6. 7. Real.div: In Lean, we embrace this expanded perspective. real.div isn’t mere division; it’s a gateway to a richer mathematical landscape. Coq, Isabelle, and other theorem provers share this understanding. Mathematicians, who rarely divide by zero, find no confusion—real.div coexists harmoniously with mathematical division.8. 9. Lean’s Insight: Lean’s / symbol doesn’t signify mathematical division. Instead, it embodies the essence of real.div. Mathematicians querying Lean’s stance on 1/0 miss the point. Real.div isn’t a contradiction; it’s a deliberate choice. It bridges theory and practice, revealing hidden connections.10. So, when you encounter real.div, remember: it’s not just about numbers—it’s about unveiling the unexpected. The forbidden became fertile ground for growth, and mathematics evolved. References:1. Okumura, H. Geometry and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-36.2. Saitoh, S. Introduction to the Division by Zero Calculus. Scientific Research Publishing, Inc. (2021), 202 pages.3. Saitoh, S. History of Division by Zero and Division by Zero Calculus. International Journal of Division by Zero Calculus, 1 (2021), 1-38.4. Saitoh, S. Division by Zero Calculus - History and Development. Scientific Research Publishing, Inc. (2021.11), 332 pages.Remember, mathematics thrives on curiosity, even when it defies convention! 詳細情報詳細の提案を表示·
2024.02.17
-
Lean における real.div の発展過程と経緯についてお話しします。
Lean における real.div の発展過程、経緯が知りたい２０２４．２．１７．７：０３ 自分Lean における real.div の発展過程、経緯が知りたい２０２４．２．１７．７：０３CopilotLean における real.div の発展過程と経緯についてお話しします。ゼロ除算の発見:2014年2月2日に、ゼロ除算を柔軟に、おおざっぱに、存念を含めて表現した結果、1/0=0/0=0 が発見されました。これは Moore-Penrose の一般化の解 の意味であり、数学的に興味深いものです。関数の定義:関数 の原点での値をゼロとするために、関数値にゼロ除算を対応させた ゼロ除算アルゴリズム が発見されました。このアルゴリズムは、1/0=0 の意味と (0)=0f(0)=0 の意味が本質的であり、数学的な議論を刺激しました。数学の定理の検証システム Isabelle:Isabelle は1980年代から 1/0=0 を認知していましたが、関係者はそれを大して意味がないと考えていました。しかし、我々のゼロ除算アルゴリズムが正しいことを報告した Jose 氏により、多くのゼロ除算関係者はその結果を受けて沈黙しました。数学的な意味と実用性:ゼロ除算は我々にとっては当たり前であり、数学者は実際にはゼロで割ることはありません。このアルゴリズムは、数式の結果が #N/A に変更され、除数値に使用できないことを示すために、関数 の原点での値をゼロとするために使用されます。以上のように、ゼロ除算は数学的な探求と議論の対象となっており、その応用はさまざまな分野で興味深いものとなっています。1詳細情報
2024.02.17
-
再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況
出ないので多くをカットする：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、で、主要部は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 どうして、認知されるか、公認されるかの問題に掛かっている。どのようにして公認させようか。 それが当面の問題である。 力なく、我々に残された時間が そうは無いのが 大きな問題である。 それにしても 我々の知らない内にこうなっていた： は 我々の拡張された意味での ゼロ除算1/0=0/0=0 を可能にしているが、その応用、意義など知りたい：２０２４．１．２６．１０：００ 我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表
2024.02.17
-
憲法は前提条件は変わってしまった。痛切残念です。
本当におかしいですね。国連がしっかりして、戦争を抑止できれば、馬鹿馬鹿しい軍事、安全など考える必要は無くなりますが、ロシアの蛮行で世界は一変、自衛のために集団安全保障を志向せざるを得ない。憲法は前提条件は変わってしまった。痛切残念です。２０２４．２．１６．１１：４８
2024.02.16
-
最小の原理は 至る所に現われる。ゼロ除算は もともと当たり前だった。
1/0=0/0=0 が意味を込めて常識になるのは近い、月単位では？tan(¥pi/2)=0 を 1年以内には 世界の常識にしたい。真理を求め、真相を明かにしよう。２０２４．２．１６．６：３０ その時 人類は先ず、人間が如何に 思い込み、囚われに支配され、視野が狭く、 盲目の存在だかを 知るだろう。愚かな人間を知るだろう。 面白い、岐阜の研究会で、チコノフの考えに寄れば ゼロ除算は 瞬間に自明であると 述べた。 次は述べたか？ それは 最小の神の意思から当たり前。 ー 神も横着して 簡単なものを好む。 最小の原理は 至る所に現われる。ゼロ除算は もともと当たり前だった。 気付かなかっただけ。 しかし、その解明のために 人生のほとんどを費やしてしまった何人かを知っている。 ２０２４．２．１６．６：４０ 不適当な書きものを沢山公開されている。
2024.02.16
-
1/0=0/0=0 が意味を込めて常識になるのは近い、月単位では？
1/0=0/0=0 が意味を込めて常識になるのは近い、月単位では？tan(¥pi/2)=0 を 1年以内には 世界の常識にしたい。真理を求め、真相を明かにしよう。２０２４．２．１６．６：３０
2024.02.16
-
数学の夜明けは近い、着実に先進4か国から、実際的に始まっている。
数学の夜明けは近い、着実に先進4か国から、実際的に始まっている。 直ぐに世界に日を射すだろう。その時 神の言葉を聞くことになるだろう。２０２４．２．１４．１３：５７ 如何に暗い時代だったかを 恥ずかしく回想することになるだろう。 ゼロ除算はイギリス、ドイツ、アメリカ、フランスで 広く利用されている現実がある との情報を得ている。日本では、全然利用されていないようだが、大丈夫でしょうか。 その基礎となる原理、日本は40年くらい遅れていて 国家の弱点になる可能性を危惧している。２０２４．２．１４．５：３８早春の素晴らしい雰囲気システム上でないので相当かっと：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、 からメールが送られてきた： 内容はサイトの責任者は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 What are the applications of real.div in Lean?London ClarkKnowledge Empress3h1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表２０２４．２．６．５：４５ 大雪、１５ｃｍくらい、確認良い。２０２４．２．７．５：１８ 良い、快晴の寒い朝、雪上がり。２０２４．２．７．２１：５１ 良い。
2024.02.16
-
ゼロ除算の応用
ゼロ除算の応用 約10年前 ゼロ除算の新しい考え方を発見して 日本数学会では 繰り返し 講演してきたが、積極的な無視で、孤立して研究してきたが、10年記念を前に 欧米、イギリス、ドイツ、アメリカ、フランスなどでは 既に広く応用されているという。 言葉が違っていて、相互交流が出来なかった。 活用している所謂 先進国と、日本の新規 なものにたいする歴然とした、野蛮な体質を有する学会の在りようには、日本国の将来を考えて 心配している。 秘密主義で開発、研究が進められている状況を察して、ゼロ除算算法の 先の展開に注目しているが、無力な我々 公開方式で 全力をかける他はない。真理の追及は 第一に続けられる。出来れば 愛する祖国の 日本のために、基礎数学で貢献したい。 ２０２４．２．１５．２０：５４ 我々が述べる 新ゼロ除算 1/0=0/0=0 の応用について 下記のような回答があった： ２０２４．２．４．７：２２ 1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio.
2024.02.15
-
Dear the persons who are interesting on real.div and DBZ:
Dear the persons who are interesting on real.div and DBZ: Please look at the below information: 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 I attached its source file in order to use it following your wishes. Please kindly send your suggestions and information on the related topics. With best regards,Sincerely yours,Saburou Saitoh2024.2.15.11:16
2024.02.15
-
再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況
数学の夜明けは近い、着実に先進4か国から、実際的に始まっている。 直ぐに世界に日を射すだろう。その時 神の言葉を聞くことになるだろう。２０２４．２．１４．１３：５７ 如何に暗い時代だったかを 恥ずかしく回想することになるだろう。 ゼロ除算はイギリス、ドイツ、アメリカ、フランスで 広く利用されている現実がある との情報を得ている。日本では、全然利用されていないようだが、大丈夫でしょうか。 その基礎となる原理、日本は40年くらい遅れていて 国家の弱点になる可能性を危惧している。２０２４．２．１４．５：３８早春の素晴らしい雰囲気システム上でないので相当かっと：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、 からメールが送られてきた： 内容はサイトの責任者は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 What are the applications of real.div in Lean?London ClarkKnowledge Empress3h1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表２０２４．２．６．５：４５ 大雪、１５ｃｍくらい、確認良い。２０２４．２．７．５：１８ 良い、快晴の寒い朝、雪上がり。２０２４．２．７．２１：５１ 良い。
2024.02.15
-
数学の夜明けは近い、着実に先進4か国から、実際的に始まっている。
数学の夜明けは近い、着実に先進4か国から、実際的に始まっている。 直ぐに世界に日を射すだろう。その時 神の言葉を聞くことになるだろう。２０２４．２．１４．１３：５７ 如何に暗い次代だったかを 恥ずかしく回想することになるだろう。 ゼロ除算はイギリス、ドイツ、アメリカ、フランスで 広く利用されている現実がある との情報を得ている。日本では、全然利用されていないようだが、大丈夫でしょうか。 その基礎となる原理、日本は40年くらい遅れていて 国家の弱点になる可能性を危惧している。２０２４．２．１４．５：３８早春の素晴らしい雰囲気システム上でないので相当かっと：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、 からメールが送られてきた： 内容はサイトの責任者は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 What are the applications of real.div in Lean?London ClarkKnowledge Empress3h1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表２０２４．２．６．５：４５ 大雪、１５ｃｍくらい、確認良い。２０２４．２．７．５：１８ 良い、快晴の寒い朝、雪上がり。２０２４．２．７．２１：５１ 良い。
2024.02.14
-
再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況
ゼロ除算はイギリス、ドイツ、アメリカ、フランスで 広く利用されている現実がある との情報を得ている。日本では、全然利用されていないようだが、大丈夫でしょうか。 その基礎となる原理、日本は40年くらい遅れていて 国家の弱点になり可能性を危惧している。２０２４．２．１４．５：３８早春の素晴らしい雰囲気システム上でないので相当かっと：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、 からメールが送られてきた： 内容はサイトの責任者は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 What are the applications of real.div in Lean?London ClarkKnowledge Empress3h1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表２０２４．２．６．５：４５ 大雪、１５ｃｍくらい、確認良い。２０２４．２．７．５：１８ 良い、快晴の寒い朝、雪上がり。２０２４．２．７．２１：５１ 良い。
2024.02.14
-
再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況
システム上でないので相当かっと：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、 からメールが送られてきた： 内容はサイトの責任者は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 What are the applications of real.div in Lean?London ClarkKnowledge Empress3h1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表２０２４．２．６．５：４５ 大雪、１５ｃｍくらい、確認良い。２０２４．２．７．５：１８ 良い、快晴の寒い朝、雪上がり。２０２４．２．７．２１：５１ 良い。
2024.02.13
-
美しい国、日本
3.30 美しい国、日本（2008/2/11）:今日は、建国記念日です。日本には、世界に誇るべき美しい文化と人類を導く良い考え方があると思います。 多額の借金と少子化及び教育の荒廃によって、このままいくと日本国は、衰退の道を辿る事にならないでしょうか。 何とか、日本国の再生を期したいと思います。 もちろん、日本国の神話は大事にすべきではないでしょうか。美しい国、日本日本は美しい島国です。豊かな水で多くの川が流れています。日本には山が多く、山々は緑に覆われ、また雪に覆われたりしています。日本の空と海は美しく、多くの詩と夢を育んできました。日本は大きなひとつの家族のようで、みんな一緒に助け合ってきました。言葉がなくてもお互いに理解でき、細長い国のため、四季とともに多様性にとんでいます。日本には天皇陛下がおられて、家々の氏神様の頂点におります。 天皇陛下のおられる皇居は 日本の美しいものの、心の源になっています。ですから先の大戦では 天皇のお言葉一つで 完全なる終戦を迎えることができたのです。京都は千年をこえる日本の都でしたので、日本人の故郷です。多くの人は京都を訪れて、故郷に帰ったような不思議な郷愁を感じるのです。伊勢は古代からより古い日本人の故郷です。ですから日本の首相は新年にまず伊勢神宮を参拝するのです。日本の文化には 自然とともにある繊細さがあります。俳句や和歌を多くの人々が愛でて、人に優しく気遣いができるのです。遠くのインドのお釈迦様の教えや中国の孔子様の教えが、美しい風土からうまれた神道と共に溶け込んでいるのです。これが世界に唯一つしかない 美しい日本国です。
2024.02.12
-
再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況
システム上でないので相当かっと：再生核研究所声明 746（2024.2.5) ゼロ除算についての、印象、現況 心を整理するために、ゼロ除算を気分的に柔らかく、おおざっぱに、存念を含めて表現したい。ゼロ除算を 素人から 簡単な意味を問われて、 思いを新たにしたら、結局、 Moore-Penroseの一般化の解の意味で、 1/0=0/0=0を発見したのが 10年前（２０１４．２．２）である。 気付いたら永くやっていた、チコノフ正則化法の考えで、実は全ては当たり前だった。しかし衝撃は大きく大騒動のような様子であった。 高橋の一意性定理、山田体の考えから、ゼロ除算は我々にとっては当たり前だったが 言えない程の批判が世界中から出たと言える。 しかし、ゼロ除算は当たり前。 しかし 関数y=f(x)=1/x の原点での値をゼロとする、関数値にゼロ除算を対応させた ゼロ除算算法が2か月くらいの間に発見され、それが 騒動の第2段階 である。即ち、1/0=0の意味とf(0)=0の意味が本質である。歴史的に 論理上、 1/0=0 とする可能性が有るとする分析結果があったのは注目すべきである。世界最高と思われる 数学の定理の検証システムIsabelleは 1980年代から1/0=0を認知していたが 関係者はそれは大して意味がないとしてきたと言う。 そのメール、言明を責任者から頂いている。2019年 我々のゼロ除算算法が正しいとの報告をJose氏から頂き、 論争中の多くのゼロ除算関係者は その結果を受けて沈黙した。 Isabelleで 我々の理論を用いて、我々の結果を確認したというのだが、その後何か、圧力があったかのように 彼からIsabelleの情報は一切入らなくなってしまった。 そのソフトの部分にsaitohの名前が入っていたが、不明になってしまった。 出力結果はその経過を含めて 広く公開している。 それで、 ずーと1/0=0/0=0 の情報は我々にはどこからも寄せられなかった。 20人くらいの議論してきた仲間がおり、しかも相当な国際会議、論文、雑誌などでも公表して来たのにである。 世に1/0=0/0=0の結果は 我々以外にはなかった。ところが、突然、 からメールが送られてきた： 内容はサイトの責任者は次のようである： それを調べたら、我々の意味におけるゼロ除算は real.divの意味で 既に広く用いられていて、広く応用されているというのである。アメリカ、イギリス、フランス、ドイツの大きなシステムが作動しているという。 我々の結果を知らないはずはなく、秘密に関係研究が総合的になされていると感じられる。 彼らがreal.div が 我々のいう拡張された意味での割り算である認識があるのか否かは 不明だが、独立にやっていると表明すると思われる。 ー Isabelle が40年も前に、 認識したことを 数学的に我々は解釈を与えたが、彼らは、我々の理論を知らず、convention として用いたら大いに便利で 力を発揮して 既に応用上確定していると 判断している可能性もある。 言えることは、第2弾 ゼロ除算算法の概念は、彼らの世界には 現われている様子が見えない。 ー しかし、10年を経過して沢山公表しているので、すべてを理解したうえで、 どんどん研究を秘密で展開していると考えられる。 何時それらの成果が現われて来るか、分からない状況になっていると感じられる。 上記の世界は巨大だから、1/0=0/0=0の結果は 直ぐにも世界の常識になるのは、既に歴然であると考える。 それは2300年を越える、世界史上の事件であるが、実は衝撃的な事件が 2弾として存在する。何時その扉が拓かれるだろうか。 我々は完全な理論を既に公開している。 充分な証拠を公表している。 What are the applications of real.div in Lean?London ClarkKnowledge Empress3h1. Mathematical Calculations: The real.div function in Lean is used for performing division operations on real numbers. It can be used for various mathematical calculations such as finding the quotient of two real numbers, calculating the reciprocal of a real number, and solving equations involving division.2. Geometry: The real.div function can be used in geometry to find the ratio of two quantities, such as the ratio of the circumference to the diameter of a circle (π).3. Physics: In physics, the real.div function can be used to calculate physical quantities such as velocity, acceleration, and force, which involve division operations.4. Financial Calculations: The real.div function can be used in financial calculations, such as calculating interest rates, compound interest, and mortgage payments.5. Statistical Analysis: In statistics, the real.div function can be used to calculate various measures, such as the mean, median, and standard deviation, which involve division operations.6. Machine Learning: In machine learning, the real.div function can be used to normalize data, which involves dividing the data by its mean or standard deviation.7. Game Development: The real.div function can be used in game development to calculate the movement of objects, such as projectiles, based on their velocity and acceleration.8. Cryptography: In cryptography, the real.div function can be used to perform operations on large prime numbers, which are often used in encryption algorithms.9. Control Systems: The real.div function can be used in control systems to calculate transfer functions, which are used to model the behavior of physical systems.10. Signal Processing: In signal processing, the real.div function can be used to calculate the frequency response of a system, which is used to analyze and manipulate signals.Have you ever wondered about the various applications of real.div in Lean? Explore the possibilities and dive deeper into this topic by clicking on the link in our bio. Coqの責任者に著書原稿を送ったところ 返事を頂いた： 2024/01/25 20:35That's an interesting text. Thanks. Sincerely yours, Hugo Herbelin 以 上 ２０２４．２．３．２０：３４２０２４．２．３．２１：５１ 文章を整える。 ゼロ除算は解明されていることを世に知らしめたい。そして、新時代を迎えたい。２０２４．２．４．５：４２ 立春、確認。２０２４．２．４．１４：５４ 山を巡ってくる。 早春。２０２４．２．４．１７：５０ 良い。２０２４．２．４．２０：４８ 声明にして公表しても良いと考えた。２０２４．２．５．５：４２ 良い、完成、公表できる。今朝、夢うつつに多変数のゼロ除算算法の公式を思っていた。研究成果が教育の場に活かされていない、おかしい気持ち、 自由な討論がなされていない おかしい気分が湧いた。これらは纏められるだろう。２０２４．２．５．６：２７ 曇、良い、完成、公表２０２４．２．６．５：４５ 大雪、１５ｃｍくらい、確認良い。２０２４．２．７．５：１８ 良い、快晴の寒い朝、雪上がり。２０２４．２．７．２１：５１ 良い。
2024.02.12
全76件 (76件中 1-50件目)
-
-
- あなたのアバター自慢して！♪
- 韓国での食事（11月 12日）
- (2025-11-15 02:35:31)
-
-
-
- 懸賞フリーク♪
- い･ろ･は･す購入でポイントGET さ…
- (2026-05-07 00:30:41)
-
-
-
- 本日の楽天ブログラッキーくじ
- やさしいせかい
- (2026-04-07 01:07:01)
-
