scusate, il teorema è di "semidedicibilità" o "semidecidibilità"? nel titolo c'è una parola, nell'articolo un'altra DaVid83 (msg)