Next | Topology of Data Types | 11 |

Infinite intersections are

**not**semidecidable in general:In parallel, try to semidecide each of the

*A*_{i}But you need

**all**of them to terminateEven though each

*A*_{i}is decidable in finite time, they might not all be togetherWhat if

*A*_{i}takes*i*units of time to decide?

Next |