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年2月2日ゼロ除算の発見 #更新 #0除算 #2014年3月8日ゼロ除算算法の発見 #再生核研究所 #ゼロ除算 #2000年来の発見0除算再生核研究所 #SNS