¿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?