# 1 ÷ 0 = 0

*last updated: Sep 11, 2024*

https://www.hillelwayne.com/post/divide-by-zero/

I tweeted a thing about why

`1/0 = 0`

is mathematically sound. Some people agreed, some people agreed with caveats, and some people called it bunk. A few people said it’s clear I don’t know real mathematics, because a real mathematician would never make such a mistake.

So in this post I’d like to clearly, formally lay out why it’s consistent to say that

`1/0 = 0`

, why some of the common objections don’t apply, and what the real mathematicians say. Fair warning, this post is going to be a little more mathematically dense than my usual stuff. I’ve tried to make it clear but, well, math.

A post about why Pony's decision to make `1/0==0`

true is a mathematically consistent, if a bit unusual, choice. Via Greg Wilson, who notes that gleam also does so.

(I've never heard of gleam before!

Gleamis afriendlylanguage for buildingtype-safesystems thatscale!

The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax.

)