Hacker News Reader

Comment by Jach | Hacker News Reader

Be careful accepting JS numerical proofs, since they're all doubles. e.g.

    > 12345678910111210 + 1 == 12345678910111211
    true
    > 12345678910111210 + 1 == 12345678910111212
    true

My favorite one is disproving Fermat's last theorem:

    > 19774**3 + 257049**3 == 257088**3
    true

> Be careful ... e.g.

> two true statements

What?

Look closely. Or, equivalently

  > n=12345678910111210
  > n+1 === n+2
  true

The two 'true' statements show that 12345678910111211 == 12345678910111212 transitively, which is obviously not possible.