Next | Topology of Data Types | 18 |

This topology coincides with the natural topology for ℝ

We can't represent real numbers finitely

So we must approximate them

The set { 2 } is

**not**semidecidable, so not openBut it

**is**closedAnd more generally, open intervals are semidecidable

Next |