George Gamow (1904-1968) Russian-born American nuclear physicist and cosmologist remarked that "it is well known to students of high school algebra" that division by zero is not valid; and Einstein admitted it as {\bf the biggest blunder of his life} Gamow, G., My World Line (Viking, New York). p 44, 1970).
L. C. Paulson stated that I would guess that Isabelle has used this {\bf convention} $1/0=0$ since the 1980s and introduced his book referred to this fact. However, in his group the importance of this fact seems to be entirely ignored at this moment as we see from the book.