| 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 |