Hacker News Reader

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.