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

Why division of zero not allowed #shorts #mathWhy division of zero not allowed #shorts #mathshortsmathwhy division of zero not allowdivision by zerodivide by zerorandom factsmind blowing factsinteresting...

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

現代数学には尚、欠陥がある と公言している。

現代数学には尚、欠陥がある　と公言している。