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... _______________________________________________ Lugro-mix mailing list [email protected] http://www.lugro.org.ar/mailman/listinfo/lugro-mix
