Diferencia entre revisiones de «La tesis de Church-Turing/Interpretaciones»
Contenido eliminado Contenido añadido
Línea 51:
• '''Conjetura 3:''' Los computadores procesan los algoritmos. Razón: se concibe el concepto de un algoritmo para hacerlo más práctico.
== Tesis de Church-Turing Extendida (ECT) ==
Esta tesis afirma que la máquina de Turing es tan eficiente como un computador. Es decir, si alguna función es computable por algún dispositivo hardware para una entrada de tamaño n, entonces dicha función es computable por una máquina de Turing en (T(n))k para algún k fijo (dependiente del problema).
| |||