PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.06.22
カテゴリ： カテゴリ未分類
**If x-x = x/x, what is x?**
人はいろいろ考えるものです。 これが議論されていました。
セロ除算の発見で、ｘ＝０ が解になりますので、面白い観点です。
解はないとの意見で占められているので面白い。
２０１９．６．２２．５：５７
Oh it is the Very interesting problem.
x=0 is a very interesting solution. Please look the information:
The famous problems were solved as follows:
Dear the leading person:
**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
out (2017.10.14.08:55)
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/If-x-x-x-x-what-is-x-14#inbox/_blank)
José Manuel Rodríguez Caballero
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/If-x-x-x-x-what-is-x-14#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
imports Complex_Main
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
Survey draft:
*http://viXra.org/abs/1904.0408* (https://www.quora.com/If-x-x-x-x-what-is-x-14#inbox/_blank)
**Close the mysterious and long history of division by zero and open the new world since Aristotelēs-Euclid: 1/0=0/0=z/0= \tan (\pi/2)=0.**
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/If-x-x-x-x-what-is-x-14#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
２０１９．３．１４．１１：３０
人はいろいろ考えるものです。 これが議論されていました。
セロ除算の発見で、ｘ＝０ が解になりますので、面白い観点です。
解はないとの意見で占められているので面白い。
２０１９．６．２２．５：５７
Oh it is the Very interesting problem.
x=0 is a very interesting solution. Please look the information:
The famous problems were solved as follows:
Dear the leading person:
**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
out (2017.10.14.08:55)
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/If-x-x-x-x-what-is-x-14#inbox/_blank)
José Manuel Rodríguez Caballero
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/If-x-x-x-x-what-is-x-14#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
imports Complex_Main
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
Survey draft:
*http://viXra.org/abs/1904.0408* (https://www.quora.com/If-x-x-x-x-what-is-x-14#inbox/_blank)
**Close the mysterious and long history of division by zero and open the new world since Aristotelēs-Euclid: 1/0=0/0=z/0= \tan (\pi/2)=0.**
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/If-x-x-x-x-what-is-x-14#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.06.22 05:57:38
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
