Una pregunta reciente del examen fue la siguiente:
- es un conjunto infinito recursivamente enumerable. Demuestre que tiene un subconjunto recursivo infinito.
- Deje que sea un subconjunto infinito de recursiva . ¿Debe tener un subconjunto que no es recursivamente enumerable?A C
Respondí 1. ya. Con respecto a 2., respondí afirmativamente y discutí lo siguiente.
Supongamos que todos los subconjuntos de fueran recursivamente enumerables. Como es infinito, el conjunto de potencias de es incontable, por lo que suponiendo que haya incontables muchos conjuntos recursivamente enumerables. Pero los conjuntos recursivamente enumerables están en correspondencia uno a uno con las máquinas de Turing que los reconocen, y las máquinas de Turing son enumerables. Contradicción. Por lo tanto, debe tener un subconjunto que no sea recursivamente enumerable.C C C
¿Es esto correcto?