Comment by nnm

4 years ago

Any function that can be implemented in a computer is a Lebesgue measurable function.

I don't doubt it, but I don't immediately see the proof either. What's the key idea?

  • Most spaces that computers deal with are basically discrete.

    Technically this may not always be the case but it's very hard to construct a convincing counter example.