PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.03.31
カテゴリ： カテゴリ未分類
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 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
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/
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: https://isabelle.in.tum.de/
and copying the following code
theory DivByZeroSatoih
imports Complex_Main
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
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
２０１９．３．１４．１１：３０
我々の数学には、基本的な欠陥があると述べている。 数学界としても、人類にとっても 恥ずかしい状態である。 計算機は、その実証を既に 進めている。
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 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
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/
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: https://isabelle.in.tum.de/
and copying the following code
theory DivByZeroSatoih
imports Complex_Main
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
by simp
end
2019/03/30 18:42 (11 時間前)
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.03.31 13:22:28
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
