[LUG.ro Mix] Conjuntos recursivamente numerables

[Ricardo Armas]

2009/1/7 Horacio <horacio9573 en gmail.com>:
> 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...


Supongo que ya lo habrás visto, pero acá:
http://eltopologico.blogspot.com/2006_09_01_archive.html
para mí está bastante claro...
Tiene que ver con
http://es.wikipedia.org/wiki/Teoremas_de_la_incompletitud_de_Gödel



-- 
Ricardo A. Armas