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

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.