PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.04.30
カテゴリ： カテゴリ未分類
ゼロ除算回避のアイデア：
先ほど下記を書いて、ふと気づいた。
丁度ゼロで割るときは、ゼロとする でいいのですが、大きな数になるのは、小さな数で割るとき、 その場合 無限大のようになって困ることになる。 そこで、その場合にもゼロとすればよいのでは。
原理としては、できない、不可能、無限などとなる場合ゼロとすればよいのでは。
ゼロは、不可能や無限を表します。
２０１９．４．３０．５：４５
計算機はゼロ除算ができないとなっていると思いますが、ゼロ除算 は数学的には解決したと思っています。ところが 奥村博氏は ゼロで割ることは ゼロを掛けることとの知見を得ました。 これで ゼロ除算回避に なるでしょうか？
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/
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/
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
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
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/ 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:
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/
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/
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
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
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/ 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.30 05:45:53
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
