Email Gateway (Aug 22 2022 at 19:14): Email Gateway (Aug 22 2022 at 19:14):From: Saburou Saitoh <saburou.saitoh@gmail.com>
On the division by zero:
I got a surprising news:
José Manuel Rodríguez Caballero
<https://www.researchgate.net/profile/Jose_Rodriguez_Caballero2>
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/
<https://www.researchgate.net/deref/https%3A%2F%2Fisabelle.in.tum.de%2F>*
and Caballero kindly introduced further several surprising examples on the
division by zero calculus. I would like to know some details on the
division by zero calculus and the computer system. How to know some
details? May I hear some.
With best regards,
Sincerely yours,
Saburou Saitoh
2019.2.22.19:35
Last updated: Apr 27 2024 at 01:05 UTC