Next Topology of Data Types 6

Semidecidability

Given a diophantine equation,
does it have a solution?


Next