PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.02.26
カテゴリ： カテゴリ未分類
Zero Expresses Non-possibility
Dear Colleagues on Division by Zero Calculus and related persons:
I referred to the division by zero calculus
as in:
Your submission has now been uploaded and is available at http://viXra.org/abs/1902.0432
Please kindly give me any valuable information for our enjoyment.
With thanks and best regards,
Sincerely yours,
Saburou Saitoh
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/
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
Dear Colleagues on Division by Zero Calculus and related persons:
I referred to the division by zero calculus
as in:
Your submission has now been uploaded and is available at http://viXra.org/abs/1902.0432
Please kindly give me any valuable information for our enjoyment.
With thanks and best regards,
Sincerely yours,
Saburou Saitoh
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/
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.02.26 21:54:04
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
