PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.06.16
カテゴリ： カテゴリ未分類
2019年6月16日(日) 14:28
孤立特異点での 調和函数 の値を定義する方法を 明確に示しました。 解析関数に結び付けて、ゼロ除算算法の 実部として定義すれば 良い。
問題は それらの意味、性質、応用を具体的に 示すことです。 ところが、最も大事な場合グリーン関数の場合に、ロバン定数として 意味付けが与えられますので、既に大きな意味を有します。
問題は、いろいろなグリーン関数やノイマン関数など いろいろ具体的な調和函数で 問題を問うことができるので、新しい世界が拓かれています。
The famous problems were solved as follows:
Dear the leading person:
How will be the below information?
The biggest scandal:
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/
and copying the following code
theory DivByZeroSatoih
imports Complex_Main
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
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:
How will be the below information?
The biggest scandal:
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/
and copying the following code
theory DivByZeroSatoih
imports Complex_Main
begin
theorem T: ‹x/0 + 2000 = 2000› for x :: complex
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.06.16 14:38:47
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
