Yesterday I post my first of 42 little stories on LinkedIn. Today my second: "Division by zero should be possible". Check it out.
https://twitter.com/wilcokoorn/status/1415677883188535304
If things divided by zero have any value then it becomes possible to use division by zero to "prove" that any expression equals any other expression, thus invalidating arithmetic altogether.
https://twitter.com/AstraAudire/status/1418377747207016454
ANI News
Jaishankar appreciates Uzbek President's references to Charaka, Sushruta, Brahmagupta in connectivity history
www.aninews.in
That's odd, I thought #Apple had figured out how to do division by zero, under Jobs' management.
https://twitter.com/raddevus/status/1410696503480487936
We’ve caught a black hole devouring a neutron star for the first time
Read more: https://www.newscientist.com/article/2282431-weve-caught-a-black-hole-devouring-a-neutron-star-for-the-first-time/#ixzz6zKoGcvBv
www.newscientist.com
現代数学には尚、欠陥がある と公言している。
NEW !
テーマ：数学
ZeroDivisionError: float division by zero #36
https://github.com/HuangCongQing/Python/issues/36
PCA.score_samples ＃8544のゼロ除算
https://github.com/scikit-learn/scikit-learn/issues/8544
My poorly-informed take on it all is that Greeks did some impressive algebra piecemeal by stretching their own very different geometry-centred intellectual framework. But algebra as coherent discipline seems to have started in India with Brahmagupta and moved westward.
https://twitter.com/toadworrier/status/1409077749860376576
On the other Brahmagupta later seems to be pushing algebra where no one has gone before. Yet the Greeks clearly had solved difficult algebraic problems too. 2/
https://twitter.com/toadworrier/status/1409076151490809867
ゼロ除算が定義できないことを補って余りある割り算の活躍を、
余りがゼロになるその日まで、余すことなく見ていたいんだ、
と掛け算は言った：
https://twitter.com/mizumiya_umi/status/1403324866086858758
ゼロ除算は既に当たり前になっています。ご覧ください：
ゼロ除算は、 実は ゼロの意味 からも当たり前です：
ゼロで割ることは 割らないこと、したがって 割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す 意味がある。
ゼロで割ることは 割らないこと、したがって 割り当てられた数は無く、ゼロ。ゼロには、しないこと、できないことを表す 意味がある。 ゼロ円あげるは、あげないことですね。ゼロ回施行は、しないことですね。 時速ゼロｋｍで走るは 止まっていて 走らないことを意味しますね。ですから、ゼロの意味を考えれば、実は ゼロで割る問題は、初めから当たり前でした。 さー世界の常識を変えましょう。 令和革新の大義
２０２１．４．２０．７：１７
どんどん遠くにとうざかって行く、そう無限の彼方にです。
無限の彼方に です。
ところが その先に ゼロが存在した。思えば、楽しく驚嘆すべき世界、それが何とゼロ除算の世界で、新世界です。 それは ホーントーラスで 実現される。 雑誌の表紙の図版に採用されている。
2000年の歴史を越えて 人類が発見した、完全な数学の世界である。
数学の2つの元、ユークリッド幾何と算術の法則 ブラーマグプタの世界には 不完全さが すなわち、数学には 基本的な欠陥が 存在して、現在に至っている。 我々は不適当な世界観、数学の上に生きて来た。
それは、既に事実で、真実である。
２０２１．４．２０．８：４０
５．６．８：２８
現代数学には尚、欠陥がある と公言している。関数論も、微分方程式も、幾何学も、代数も 基本的な欠陥があるのは 歴然で 発見後8年目を迎えてしまった。これは、世界史の汚点になるだろう：
Please look 1/0=0:
As Fundamental of Mathematics, the division by zero was known as the generalized Moore-Penrose solution of the fundamental equation: ax=b.
Look the simple evidence of its importance:
viXra:2010.0228 submitted on 2020-10-28 21:39:06,
Division by Zero Calculus and Euclidean Geometry - Revolution in Euclidean Geometry
Look a simple video talk for its essence at some international conference:
https://media.cmd.gunma-u.ac.jp/media/Play/ef7ca967c3fd4dabb188128fd6038cb81d
Book was published:
INTRODUCTION TO THE
DIVISION BY ZERO CALCULUS
SABUROU SAITOH
January, 2021
https://www.scirp.org/book/DetailedInforOfABook.aspx?bookID=2746
https://www.amazon.com/dp/1649970889?ref=myi_title_dp
https://books.google.com.ua/books/about?id=BnkZEAAAQBAJ&redir_esc=y
https://play.google.com/store/books/details?id=BnkZEAAAQBAJ
https://plaza.rakuten.co.jp/reproducingkerne/
我々はイギリスから、ゼロ除算算法の国際雑誌創刊を進めている（https://romanpub.com/dbzc.php）
Division by zero is actually natural from the meaning of zero:
MakeUseOf
How to Swap Two Variables in C++, Python, and JavaScript
Furthermore, if the 2nd number is 0, compilers will throw a division by zero error. Thus, you should avoid this approach to swap two numbers. How to Swap Two Numbers Using Bitwise Operators. The bitwise XOR operator is ...
1日前 https://www.makeuseof.com/swap-two-numbers/
1/0 is undefined | Dividing by zero | Why dividing by zero is undefined?
https://www.youtube.com/watch?v=9dV_DgoEyWM
اگر توی حکمش division by zero باشه قطعانمیتونه
https://twitter.com/akbar30bill/status/1401423260647047168
Why division of zero not allowed #shorts #math
www.youtube.com
数学の証明を 検証する研究が イギリス、ドイツで進んでいて 数学の定理の証明が 検証できるような研究が、何と進んでいる。
Scholze 自身のコメントが出た : https://xenaproject.wordpress.com/2021/06/05/half-a-year-of-the-liquid-tensor-experiment-amazing-developments/… Proof assistant は最新の研究レベルの数学に使えるレベルらしい。
引用ツイート
theHigherGeometer
@HigherGeometer
· 5月29日
Theorem 9.5 in Scholze’s Analytic.pdf now has a formal proof in Lean! https://github.com/leanprover-community/lean-liquid… It’s taken just over five months. Next target: Theorem 9.1…
このスレッドを表示
Half a year of the Liquid Tensor Experiment: Amazing developments
Posted on June 5, 2021 by xenaproject
[This is a guest post by Peter Scholze.]
Exactly half a year ago I wrote the Liquid Tensor Experiment blog post, challenging the formalization of a difficult foundational theorem from my Analytic Geometry lecture notes on joint work with Dustin Clausen. While this challenge has not been completed yet, I am excited to announce that the Experiment has verified the entire part of the argument that I was unsure about. I find it absolutely insane that interactive proof assistants are now at the level that within a very reasonable time span they can formally verify difficult original research. Congratulations to everyone involved in the formalization!!
In this Q&A-style blog post, I want to reflect on my experience watching this experiment.
Question: Who is behind
これは、注目すべきニュースと思います。 数学の証明の 検証についての研究が イギリス、ドイツで進んでいて 数学の定理の証明が 検証できるような研究が、何と進んでいる。 それによれば、数学の命題の真偽を 計算機が保証してくれるというのですから、凄いです。 我々のゼロ除算は そのシステムで検証され、強い保証を述べてきている。 その記録さえ 公表、論文などに発表している。
２０２１．６．８．８：４５
#2021年#更新#0除算#2014年3月8日ゼロ除算算法の発見#再生核研究所#令和革新の推進0除算#ゼロ除算#2014年2月2日ゼロ除算の発見#2000年来の発見0除算再生核研究所#SNS
#2021年#0除算#更新#令和革新の推進0除算#2014年2月2日ゼロ除算の発見#2014年3月8日ゼロ除算算法の発見#再生核研究所#ゼロ除算#2000年来の発見0除算再生核研究所#新世界