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.