Next | Topology of Data Types | 22 |

ℕ is not compact

It's discrete, and no infinite discrete space is compact

If it could be exhausted, we could decide the halting problem

But it is possible to embed ℕ in a compact space ℕ*

The

*one-point compactification*of ℕThis set

*can*be exhausted

Next |