PR
Keyword Search
▼キーワード検索
再生核研究所
再生核研究所声明
Calendar
Comments
Freepage List
2019.06.11
カテゴリ： カテゴリ未分類
今日は ゼロ除算の積極的な応援するメールを2通頂いた。
Dear Eddie Woo,
First, I would like to express my admiration for your project on YouTube, I like your videos and wish all the best for your professional future.
The aim of this email is just to let you know that your conclusion in your video "Dividing by zero?" is far from being universally accepted. Indeed, you said concerning 1/0 that "it is undefined because you cannot define it [...] you try to work it out and you get completely random things".
Your attitude concerning division by zero is like the attitude of the mathematicians that did not accept to work with the square root of minus one because it contradicts the properties of real numbers. In the same way that the square root of minus one can be defined avoiding any contradiction and having a nice geometric interpretation, the division by zero can also be defined. Indeed, in the proof assistant (software to verify mathematical proofs) Isabelle/HOL (developed by University of Cambridge), the division by zero is defined as 0. All the contradictions are avoided by restricting the properties of arithmetic. You could download for free this software (it is enough to look for "Isabelle/HOL" in google) and try to develop the contradictions that you claimed in your videos: it is impossible and you will discover why if you do the experiment.
For more information, I recommend you to read the work of Prof. Saburou Saitoh, who found a geometric interpretation of the mathematical approach where any number divided by zero is zero. In particular, you could read the following paper (Prof. Saburou Saitoh has many more papers about this subject this is just an example):
Pinelas, Sandra, and Saburou Saitoh. "Division by zero calculus and differential equations." International Conference on Differential & Difference Equations and Applications. Springer, Cham, 2017.
Finally, to claim "work it out [division by zero] and you get completely random things" is a little bit disrespectful towards the professional mathematicians working in this field and the computer scientists using Isabelle/HOL. For these professionals, it makes sense to divide by zero, and they do not obtain "random things".
Kind Regards,
--
Jose Manuel Rodriguez Caballero
arvutiteaduse instituut / Institute of Computer Science
Tartu Ülikool / University of Tartu
...
Dear Eddie Woo,
First, I would like to express my admiration for your project on YouTube, I like your videos and wish all the best for your professional future.
The aim of this email is just to let you know that your conclusion in your video "Dividing by zero?" is far from being universally accepted. Indeed, you said concerning 1/0 that "it is undefined because you cannot define it [...] you try to work it out and you get completely random things".
Your attitude concerning division by zero is like the attitude of the mathematicians that did not accept to work with the square root of minus one because it contradicts the properties of real numbers. In the same way that the square root of minus one can be defined avoiding any contradiction and having a nice geometric interpretation, the division by zero can also be defined. Indeed, in the proof assistant (software to verify mathematical proofs) Isabelle/HOL (developed by University of Cambridge), the division by zero is defined as 0. All the contradictions are avoided by restricting the properties of arithmetic. You could download for free this software (it is enough to look for "Isabelle/HOL" in google) and try to develop the contradictions that you claimed in your videos: it is impossible and you will discover why if you do the experiment.
For more information, I recommend you to read the work of Prof. Saburou Saitoh, who found a geometric interpretation of the mathematical approach where any number divided by zero is zero. In particular, you could read the following paper (Prof. Saburou Saitoh has many more papers about this subject this is just an example):
Pinelas, Sandra, and Saburou Saitoh. "Division by zero calculus and differential equations." International Conference on Differential & Difference Equations and Applications. Springer, Cham, 2017.
Finally, to claim "work it out [division by zero] and you get completely random things" is a little bit disrespectful towards the professional mathematicians working in this field and the computer scientists using Isabelle/HOL. For these professionals, it makes sense to divide by zero, and they do not obtain "random things".
Kind Regards,
--
Jose Manuel Rodriguez Caballero
arvutiteaduse instituut / Institute of Computer Science
Tartu Ülikool / University of Tartu
...
お気に入りの記事を「いいね！」で応援しよう
Last updated
2019.06.11 15:36:38
【毎日開催】
15記事にいいね！で1ポイント
© Rakuten Group, Inc.
