Is there a way to write this out in a better way? I want to get rid of an Iverson bracket

41 Views Asked by At

I have $\lceil \frac{m+1}{1.37}\rceil - \lceil \frac{m}{1.37}\rceil$ which I think could be written as $[m + 1$ is an integer not divisible by 1.37$]$, where [] denotes the Iverson bracket.

I want to know if there is a better way of writing this by working with the ceilings or if I should leave it like this.

1

There are 1 best solutions below

2
On

Unless I am missing something key here, these are not well-defined, much less equivalent...

[m is an integer divisible by 1.37] is not even a proper statement to take a truth value of, I should believe. "1.37" is a representation most specifically of the rational number $ \frac{137}{100} $, where "divibility" isn't testable in any meaningful way. You just can't divide by 0.

Integer divisibility, $ m | n $, for $ m, n \in \mathbb{Z} $, is defined as being true iff the statement $ n = mq $ is true. This is not possible with a rational number.

As for the ceiling function, it can be 1: try $ m = 1 $. So I would say this is false at best, and nonsense at worst.