人工知能の歴史を塗り替えた生成AI、社会に与えるインパクトとは?
企画書の下書きも広告作成も「自然言語」で指示できる圧倒的利便性
https://jbpress.ismedia.jp/articles/-/80417
甚大に与える。
わずか数分で、最適な設計をAIが提案
設計時間を大幅に短縮、多様な製品をすばやく製造 3D CADの“ChatGPT”?
AIの設計支援がものづくりの常識を変える
https://active.nikkeibp.co.jp/atcl/sp/b/24/03/18/00980/
そんなのはとっくに常識的です。どんどん人間ができる事をAIができるようになる。
そこで人間とは何か問わなければいけない。
グーグルが会話型AIを「Gemini」に刷新、ChatGPTが拓いた市場を切り崩せるか
グーグルが会話型AI「Bard」の名称を「Gemini」に刷新し、新たに高機能版「Gemini Advanced」を含むサービスの有償提供を始めた。より多機能なパッケージを月額課金で提供することで、ChatGPTが切り拓いた市場を切り崩す狙いがある。
https://wired.jp/article/google-rebrands-ai-chatbot-gemini/
万能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
引用されている論文が出ました。
|
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.
There are six people from Greece in the top ten. pic.twitter.com/G8ehuUkpat
— well-meaning (@FreshSummerWind) January 11, 2023
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?
Coq QArith division by zero is zero, why?
https://stackoverflow.com › questions
2015/03/26 — The short answer is: yes, it is absolutely safe. When we say that division by zero is not well-defined, what we actually mean is that zero ...
https://stackoverflow.com/questions/29282819/coq-qarith-
In proof assistants[edit]
Many proof assistants, such as Coq and Lean, define 1/0 = 0. This is due to the requirement that all functions are total. Such a definition does not create contradictions, as further manipulations (such as cancelling out) still require that the divisor is non-zero.[33][34]
Tanter, Éric; Tabareau, Nicolas (2015), "Gradual certified programming in coq", DLS 2015: Proceedings of the 11th Symposium on Dynamic Languages, Association for Computing Machinery, arXiv:1506.04205, doi:10.1145/2816707.2816710, The standard division function on natural numbers in Coq, div, is total and pure, but incorrect: when the divisor is 0, the result is 0.
^ Buzzard, Kevin, "Division by zero in type theory: a FA