[LUG.ro Mix] Conjuntos recursivamente numerables

[Horacio]

Holas, leyendo el libro de Penrose sobre filosofía de la matemática
(mientras veo el trasero de las chicas en las playas de MdQ), el hace
distinción de conjuntos recursivos de recursivamente numerables, los
primeros los define como:

A es recursivo si existe un algoritmo que, dado un entero n, nos
permite decidir si n pertenece o no pertenece a A.

En general me queda claro que dada una entrada en la máquina de Turing
T_n de x en A dará 1 si pertenece o cero sino. Un ejemplo claro es el
conjunto de números primos.

pero el segundo nunca lo entendí y buscando con don google no cazo la
diferencia pues siempre se apela al problema de la parada. Y no da un
ejemplo diferente... al clásico complemento de A. Alguien sabe algún
ejemplo claro y simple como los números primos para recursivos...

Saludos...