de acuerdo con la tesis de la iglesia-turing
esto no puede suceder
porque en inglés simple dice que todos los modelos de computación (aunque exóticos) son “equivalentes” a las máquinas de Turing. Las máquinas de Turing son equivalentes al cálculo lamda (probado por la iglesia)
Por cierto, esta “tesis” no es algo que haya sido probado, sino una creencia.
Tesis Iglesia-Turing
- ¿Dónde se usan los números primos? ¿Por qué nos enseñan a escribir un programa para encontrar números primos?
- ¿Existe alguna analogía en la vida real con el concepto de expresiones regulares?
- ¿Cuál es el proceso de traducción de un lenguaje de programación para representar números o bits?
- ¿Cuáles son algunos problemas abiertos importantes o interesantes en la teoría de la codificación?
- ¿Cómo explicaría la devolución a un público en general?
pero nunca se sabe … como mucha gente piensa que probablemente sea demasiado pronto para que sepamos acerca de la computación y cuán intrincado es con la complejidad del espacio-tiempo.
incluso la humanidad no sabe cómo escribir un buen software … creo que es como los campos de ingeniería clásicos … inicialmente estaban experimentando y luego, después de un tiempo, se hizo más robusto a los cimientos (imagine cómo construir un puente o un circuito hace 100 años … pero ahora es más fácil)
