Not all of them, though. I find particularly interesting Leslie Lamport's comment that "Since 0 is not in the domain of recip, we know nothing about the value

Not all of them, though. I find particularly interesting Leslie Lamport's comment that "Since 0 is not in the domain of recip, we know nothing about the value of 1 / 0", which I think is the most correct mathematical stance. Then again, I think it is all a red herring. This (Pony's decision) is not about the mathematical definition of division. This is about the trade-offs computational systems do to manage the situation.