PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.04.13
カテゴリ： カテゴリ未分類
If we were to use a supercomputer and calculate 0/0, what would be the answer? (https://www.quora.com/If-we-were-to-use-a-supercomputer-and-calculate-0-0-what-would-be-the-answer)
The famous problems were solved as follows:
Dear the leading person:
How will be the below information?
**The biggest scandal:**
The typical good comment for the first draft is given by some physicist as follows:
Here is how I see the problem with prohibition on division by zero,
which is the biggest scandal in modern mathematics as you rightly pointed
A typical wrong idea will be given as follows:
mathematical life is very good without division by zero (2018.2.8.21:43).
It is nice to know that you will present your result at the Tokyo Institute of Technology. Please remember to mention Isabelle/HOL, which is a software in which x/0 = 0. This software is the result of many years of research and a millions of dollars were invested in it. If x/0 = 0 was false, all these money was for nothing.
Right now, there is a team of mathematicians formalizing all the mathematics in Isabelle/HOL, where x/0 = 0 for all x, so this mathematical relation is the future of mathematics.
*https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/* (https://www.quora.com/#inbox/_blank)
José Manuel Rodríguez Caballero
Added an answer
In the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. This is advantageous in order to simplify the proofs. You can download this proof assistant here: *https://isabelle.in.tum.de/* (https://www.quora.com/#inbox/_blank)
Nevertheless, you can use that x/0 = 0, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: Isabelle (https://isabelle.in.tum.de/)
and copying the following code
theory DivByZeroSatoih
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
Sangaku Journal of Mathematics (SJM) c ⃝SJMISSN 2534-9562 Volume 2 (2018), pp. 57-73 Received 20 November 2018. Published on-line 29 November 2018 web: *http://www.sangaku-journal.eu/* (https://www.quora.com/#inbox/_blank) c ⃝The Author(s) This article is published with open access1.
Wasan Geometry and Division by Zero Calculus
∗Hiroshi Okumura and ∗∗Saburou Saitoh
２０１９．３．１４．１１：３０
The famous problems were solved as follows:
Dear the leading person:
How will be the below information?
**The biggest scandal:**
The typical good comment for the first draft is given by some physicist as follows:
Here is how I see the problem with prohibition on division by zero,
which is the biggest scandal in modern mathematics as you rightly pointed
A typical wrong idea will be given as follows:
mathematical life is very good without division by zero (2018.2.8.21:43).
It is nice to know that you will present your result at the Tokyo Institute of Technology. Please remember to mention Isabelle/HOL, which is a software in which x/0 = 0. This software is the result of many years of research and a millions of dollars were invested in it. If x/0 = 0 was false, all these money was for nothing.
Right now, there is a team of mathematicians formalizing all the mathematics in Isabelle/HOL, where x/0 = 0 for all x, so this mathematical relation is the future of mathematics.
*https://www.cl.cam.ac.uk/~lp15/Grants/Alexandria/* (https://www.quora.com/#inbox/_blank)
José Manuel Rodríguez Caballero
Added an answer
In the proof assistant Isabelle/HOL we have x/0 = 0 for each number x. This is advantageous in order to simplify the proofs. You can download this proof assistant here: *https://isabelle.in.tum.de/* (https://www.quora.com/#inbox/_blank)
Nevertheless, you can use that x/0 = 0, following the rules from Isabelle/HOL and you will obtain no contradiction. Indeed, you can check this fact just downloading Isabelle/HOL: Isabelle (https://isabelle.in.tum.de/)
and copying the following code
theory DivByZeroSatoih
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
Sangaku Journal of Mathematics (SJM) c ⃝SJMISSN 2534-9562 Volume 2 (2018), pp. 57-73 Received 20 November 2018. Published on-line 29 November 2018 web: *http://www.sangaku-journal.eu/* (https://www.quora.com/#inbox/_blank) c ⃝The Author(s) This article is published with open access1.
Wasan Geometry and Division by Zero Calculus
∗Hiroshi Okumura and ∗∗Saburou Saitoh
２０１９．３．１４．１１：３０
お気に入りの記事を「いいね！」で応援しよう
Last updated
2019.04.13 05:43:15
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
