Comment by salehenrahman

Interesting to hear about "<" is not decidable on reals.

I'm naive, and I'm curious to know where I can read more about that.

Edit: OK, now I get it. Equality/inequality verification is undecidable for irrational numbers.