Zulip Chat Archive
Stream: maths
Topic: divide by zero
Andrew Ashworth (Aug 11 2018 at 00:18):
Lean was mentioned in a blog post about 1/0 = 0! https://www.hillelwayne.com/post/divide-by-zero/
Reid Barton (Aug 11 2018 at 00:33):
These things are conventions, exactly the same as announcing that x^-n = 1/x^n and that x^0 = 0.
Johan Commelin (Aug 11 2018 at 04:51):
Aaaahrg... They chose 19 instead of 57. Do they want a broken system anyway!?
Last updated: Dec 20 2023 at 11:08 UTC