## 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: May 12 2021 at 07:17 UTC