Skip to main content

All Questions

Filter by
Sorted by
Tagged with
64 votes
8 answers
6k views

Two (probably) equal real numbers which are not proved to be equal?

Can someone give me a nice example of two computable real numbers which are believed but not proved to be equal? I never really understood the assertion that "the reals do not have decidable equality"...