¿Cuales son las ventajas teóricas del modelo de Turing frente al modelo de familias de circuitos uniformes? pues como sabemos la estructuración de algoritmos en el lenguaje de circuitos es mas ventajosa frente a su par ideado por Turing, pero entonces me interesaría saber cuales son estas ventajas teóricas de las que pregunto, para utilizar el modelo, ó como por ejemplo. ¿Por qué Gödel solo se convenció de los modelos de computadora hasta que aparece el propuesto por el científico británico?

Estoy realizando un trabajo, y mi tema elegido fue el axioma de reemplazo y que conjuntos no pueden ser definidos sin este.
entre ellos sucesiones y demas, podrian ayudarme con articulos o libros dond epueda leer sobre el tema?

Buenas, ¿alguien podría ayudarme con alguno de estos problemas? estaba resolviendo un taller para un examen parcial que tengo esta semana y hay algunos puntos con los que definitivamente no fui capaz.

6. Hallar el subgrupo de torsión T del grupo multiplicativo C de números complejos diferentes
de cero.
8. Suponga que G es un grupo abeliano finito que tiene exactamente un subgrupo de orden
cada divisor del orden de G. Demuestre que el es cíclico
12. Suponga que G es un grupo de orden 60 y que G tiene un subgrupo normal N de orden 2.
Demuestre que
a) G tiene subgrupos normales de orden 6,10 y 30.
b) G tiene subgrupos de orden 12 y 20.
16. ¿Cuál es la probabilidad de que al elegir aleatoriamente un elemento de D4 conmute con V?

Muchas gracias de antemano.

amigo gracias
lo entendi todo

Buenas noches,

aunque ya domino un poco más el LaTex este todavía se me dificulta un poco, y pues la verdad estoy un poco sin tiempo pues he tenido muchas cosas que hacer, perdón por poner el problema sin LaTeX pero en este momento no me era posible de otra forma, muchas gracias por la atención de todos:

1. Suppose that \( G \) is an Abelian group of order \( 35 \) and every element
of \( G \) satisfies the equation \( x^{35}=e \). Prove that \( G \) is cyclic. Does
your argument work if \( 35 \) is replaced with \( 33 \)?

ups, como la primera vez no me dio a la segunda se me olvidó poner la imagen, lo siento   

Sean \( X \) e \( Y \) subconjuntos no vacíos y sea \( h:X\times X\longrightarrow \mathbb{R} \) una función acotada. Sean \( f:X\longrightarrow \mathbb{R} \) y  \( g:X\longrightarrow \mathbb{R} \) definidas por \( f(x)=sup_{y\in Y}h(x,y) \) y \( g(y)=inf_{x\in X}h(x,y) \). Pruebe que:

\( sup_{y\in Y}g(y)\leq inf_{x\in X}f(x) \)

No soy muy bueno con LaTex así que  dejé el problema como una imagen adjunta
Las funciones f y g lo que están haciendo es como dejando x fijo mandar x al ínfimo de todas sus imágenes en h(x,y) acotada y similarmente la otra dejando y fijo manda h(x,y) al supremo de sus imágenes

Pues la verdad no entiendo muy bien el método a seguir
Muchas gracias.