万能AIがもたらす未来 物理法則を発見する可能性も
3Graphics
https://www.nikkei.com/article/DGXZQOCD0756V0X01C23A2000000/
ゼロ除算は、30年も前に予告していたイサベルホル、人間が理解できなかった。
The Isabelle[a] automated theorem prover is a higher-order logic (HOL) theorem prover, written in Standard ML and Scala. As an LCF-style theorem prover, it is based on a small logical core (kernel) to increase the trustworthiness of proofs without requiring — yet supporting — explicit proof objects.
https://en.wikipedia.org/wiki/Isabelle_(proof_assistant)
下記はゼロ除算についての質問の Bing の回答です。数学界、数学者より真面目な回答で、ゼロ除算は 数学界の歴史的な恥は 既に確定ですが、恥の上塗りとして 世界史上に残るだろう。2024.1.1.20:08
ゼロ除算は可能か?
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
Googleの生成AI「Bard」日本語版に新機能、GmailやYouTubeなどのサービスと連携可能に的場 奏瑛
2023年12月20日 06:30
https://internet.watch.impress.co.jp/docs/news/1555874.html
遂に現われたゼロ除算: 生誕10年を前に、公認の可能性。関係者は遅れて恥を 上塗りしないように
2023.12.19.13:35
Wikipedia
https://ja.wikipedia.org › wiki › ゼロ除算
ゼロ除算(ゼロじょさん、0除算、英語: division by zero)とは、0で除す割り算のことである。このような除算は除される数をaとするならば、形式上は a/0と書くことが ...
関連する質問
0は除算できないのはなぜ?
ゼロ除算は可能か?
1.ゼロ除算未定義、不可能性は 割り算の意味の自然な拡張で、ゼロで割ることは、ゼロ除算は可能で、任意の複素数zに対してz/0=0であること。 もちろん、普通の分数の意味ではないことは 当然である。 ところが、数学や物理学などの多くの公式における分数は、拡張された分数の意味を有していることが認められた。2021/11/19
ゼロ除算? .....問題になる可能性があります。 - LinkedIn
ゼロ除算の対応は?
ゼロに対応する点は無限遠点で、1/0=∞ と考えられてきた。 オイラー、アーベル、リーマンの流れである。 ところが、ゼロ除算は1/0=0 で、実は無限遠点はゼロに対応していることが確認された。2022/04/22
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
0除算とはどういう意味ですか?
ゼロ除算の不定と不能の違いは何ですか?
面白い Google はゼロ除算について、次のように回答して、混乱している。
2023.12.20.20:20
生成 AI は試験運用中です。
ゼロ除算とは、除数をゼロ(0)とした除算のことです。
数学では、0にかけて1になる数は存在しないため、0の逆数は存在せず、「0で割る」ことを定義できません。そのため、ゼロ除算はできないと考えられています。
ただし、除算の自然な発想で考えると、ゼロ除算はいつでも可能で、簡単で、美しい結果にまとまります。0で割ることは割らないこと、それ故に割り当てられる数はなく、ゼロです。ゼロは掛けても割っても結果はゼロと美しくまとまります。
また、一般的には、ゼロ除算の結果は定義できないとするか、無限大に発散すると解釈されることが多いです。
BING 我々のゼロ除算を 数学を 認識していると見られる。
2023.12.20.20:40
数学界より早い公認になる可能性がでて来た。
ゼロ除算とは、除数をゼロ(0)とした除算のことです。数学では、0にかけて1になる数は存在しないため、0の逆数は存在せず、「0で割る」ことを定義できません。そのため、ゼロ除算はできないと考えられています。一般的には、ゼロ除算の結果は定義できないとするか、無限大に発散すると解釈されることが多いです。ただし、除算の自然な発想で考えると、ゼロ除算はいつでも可能で、簡単で、美しい結果にまとまります。0で割ることは割らないこと、それ故に割り当てられる数はなく、ゼロです。ゼロは掛けても割っても結果はゼロと美しくまとまります。この回答は、Wikipediaや他の信頼できる情報源から得られた情報に基づいています12。
Googleの回答は、ゼロ除算に関する一般的な誤解を示している可能性があります。私たちは、正確で信頼性の高い情報を提供することに尽力しています。
If division by Zero were possible,then the result would exceed every integer
http://www.fen.bilkent.edu.tr/~franz/M300/zero.pdf 4/6
If division by Zero were possible,then the result would exceed every integer. An Early Reference to Division by Zero C. B. Boyer:4/6.
2023年11月24日 11時07分ソフトウェア
OpenAIが4度目のブレイクスルーとなる数学ができるAI「Q*(キュースター)」で汎用人工知能開発の飛躍を目指す、
アルトマンCEO解任騒動の一因か
https://gigazine.net/news/20231124-open-ai-q-star/#google_vignette
イサベルホルは、相当進んでいるのではないでしょうか。
初めて飛行機を作って乗った方、車を初めて作って乗った方を見たとき、人はどうして今日のような時代を迎えるだろうと想像できたでしょうか。ゼロ除算の世界は 真に新しい世界、その世界を覗かないで どうしてゼロ除算の世界について想像したり、語れるでしょうかhttps://ameblo.jp/syoshinoris/entry-12490439836.html
ゼロ除算は、 実は ゼロの意味 からも当たり前です:
ゼロで割ることは 割らないこと、したがって 割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す 意味がある。
ゼロで割ることは 割らないこと、したがって 割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す 意味がある。 ゼロ円あげるは、あげないことですね。ゼロ回施行は、しないことですね。 時速ゼロkmで走るは 止まっていて 走らないことを意味しますね。ですから、ゼロの意味を
https://ameblo.jp/syoshinoris/entry-12680138080.html
引用されている論文が出ました。
|
Isabelle (BSD-3, ML/Scala/Isabelle, mirror):
(Univ. Cambridge, TU Munchen, Univ. Paris-Sud)
https://github.com/johnyf/tool_lists/blob/main/verification_synthesis.md#theorem-provers
培養脳細胞で「ChatGPTを超える」AI開発 豪スタートアップが13億円調達
https://news.yahoo.co.jp/articles/11a7436a6b2d396a2862cd51365c601eb7b0300b
0除算(0で割る行為)を認めてしまうと、 『数学の崩壊』・『世界の終わり』
https://twitter.com/Oita443256/status/1648222826946760704
それが常識でしたが、ゼロで割るには、自然な新しい意味があることが分りました。
現代数学の欠陥で 新世界を拓きます。 数学の夜明けです。 ご覧あれ
マスク氏、TruthGPTの開発表明「最大限に真実追求するAI」
https://news.yahoo.co.jp/articles/9b24e5931cd267d0ac5a430711e86c0739862f75
0除算はできましたか、
再生核研究所はできているが、正しいでしょうか。
ChatGPT won't divide by zero even when allowed
https://www.reddit.com/r/ChatGPT/comments/10m4uwo/chatgpt_wont_divide_by_zero_even_when_allowed/
5 mo. ago
Mathematicians nerfed 1/0 because it would be overpowered. Knew it.
https://www.reddit.com/r/ChatGPT/comments/zgg8r6/division_by_zero/
未だそのような情勢、数学界の怠慢として 断罪されるだろう:
2023.4.25.19:07
5 mo. ago
Mathematicians nerfed 1/0 because it would be overpowered. Knew it.
https://www.reddit.com/r/ChatGPT/comments/zgg8r6/division_by_zero/
未だそのような情勢、数学界の怠慢として 断罪されるだろう:
2023.4.25.19:07
ゼロ除算は解明され、解説も、論文も、国際雑誌すら創刊されています。
知らない、できないと言っているのは、真実を求めようとしない、心貧しい人の 懐く恥ずかしい心です。
GPTの知識まで まだ至っていない。世は誤解と迷信に 冒されているからです。
2023.4.13.9:10
イーロン・マスク氏 対話式AI「TruthGPT」立ち上げ明らかにマスク氏は
「宇宙の本質を理解しようとする最大限に真実を追究するものだ」と説明しました。
https://www3.nhk.or.jp/news/html/20230418/k10014041981000.html
https://talk.truthgpt.one/
2023.4.19.20:14
ホーキング博士が最後に語った「宇宙の起源」
https://news.yahoo.co.jp/articles/abccfc92ab593641821110f794672da19e95aaa3
太陽の300億倍、大質量“超巨大ブラックホール” 大きさも過去最大、英大学発見
2023年03月30日 18時33分 公開
https://www.itmedia.co.jp/news/articles/2303/30/news221.html
ブラックホールが「宇宙最恐」な3つの理由
MITのサイトの以下に添付の本がありました。
http://web.mit.edu/gleitz/www/Introduction%20to%20Logic%20-%20P.%20Suppes%20(1957)%20WW.pdf
Introduction to Logic - P. Suppes (1957) WW.djvu
http://web.mit.edu › gleitz › www › Introduction t...
This book has been written primarily to serve as a textbook for a first course in modern logic.
No background in mathematics or philosophy is supposed.
330 ページ
ちょっと見ですが、pp. 166-168 あたりで z/0=0 を述べています。
The most famous figure in human history, according to the ranking of the Massachusetts Institute of Technology, is Aristotle. (MIT) collected and analyzed data on history and culture around the planet from 4,000 BC. until 2010.
— well-meaning (@FreshSummerWind) January 11, 2023
There are six people from Greece in the top ten. pic.twitter.com/G8ehuUkpat
「宇宙は不連続」と考えた人たち:リーマン、湯川、岡潔、グロタンディーク、保江。
https://quasimoto.exblog.jp/22058408/
とても興味深く読みました:それはゼロ除算算法に通じていますね。
世界を変えた等式17: 素晴らしい。
しかしながら、アリストテレス(紀元前384年-紀元前322年)以来 否定され、天才オイラーの間違いを含み、アインシュタインの生涯の懸案だったとされるゼロ除算が 含まれていない。惜しいかな数学。四則演算が不完全だった。そこで 下記の公式は、17に続く等式と すべきではないでしょうか。
1/0=0/0=0,
tan (\pi/2)=0,
log 0=0,
(f(x)/x)(0) = f^\prime(0) = f’(0)
2022.2.8.06:00
The equation that changed the world 17: Great.
However, it has been denied since Aristotle (384 BC-322 BC), including the mistake of genius Euler, and does not include division by zero, which is said to have been a concern for Einstein's life. A regrettable math. The four arithmetic operations were incomplete. Therefore, the following formula should be the equation following 17.
1/0 = 0/0 = 0,
tan (\ pi / 2) = 0,
log 0 = 0,
(f (x) / x) (0) = f ^ \ prime (0) = f ’(0)
2022.2.8.06:00
The Institute of Reproducing Kernels is dealing with the theory of division by zero calculus and declares that the division by zero was discovered as $0/0=1/0=z/0=0$ in a natural sense on 2014.2.2. The result shows a new basic idea on the universe and space since Aristotele (BC384 - BC322) and Euclid (BC 3 Century - ), and the division by zero is since Brahmagupta (598 - 668 ?).
Announcement 478: Who did derive first the division by zero 1/0 and the division by zero calculus $\tan(\pi/2)=0, \log 0=0$ as the outputs of a computer?
№1299
声明737
73
404頁
最新の記事
Institute of Reproducing Kernels
-
生成AIの24年、Apple・Googleが「垂直統合」で台頭狙う
テーマ: 社会
2024年01月04日 08時58分 -
生成AI出現が問う「学校の宿題」をすることの意義 なぜ宿題をするべきか大人は答えられるか? ht
テーマ: 教育
2024年01月04日 08時58分
-
2024年 ゼロ除算の発見から間もなく10年
テーマ: 社会
2024年01月04日 08時58分
-
なぜアインシュタインは天才と呼ばれたのか? アインシュタインは、他の科学者達がとらわれていたある
テーマ: 物理学
2024年01月03日 07時29分 -
ゼロ除算は可能で、正解はゼロです。 何を0で割っても ゼロです。
テーマ: 数学
2024年01月02日 07時35分