Diferencia entre revisiones de «La tesis de Church-Turing/Interpretaciones»
Contenido eliminado Contenido añadido
Línea 87:
== La Tesis M ==
Todo aquello que pueda ser calculado por una máquina (suponiendo que se trabaje con datos finitos de acuerdo a un número finito de instrucciones) es computable por una máquina de Turing.▼
La tesis M dice así:
▲'''Todo aquello que pueda ser calculado por una máquina (
La tesis M por sí misma admite dos interpretaciones:
Línea 94 ⟶ 97:
* Si la frase anterior se interpreta en sentido más amplio, de tal forma que nos abstrajéramos de si la máquina abstracta en cuestión puede o no existir en el mundo actual.
Si escogemos la segunda interpretación, entonces la tesis M es falsa. Es fácil describir máquinas abstractas, o ‘hipercomputadoras’
Todavía no se puede determinar si la primera interpretación de la tesis M es o no cierta. Las especulaciones que se realicen sobre la posibilidad de que existan procesos físicos – y ,por lo tanto, potencialmente operaciones de máquina – cuyo comportamiento se parezca a funciones no computables por la máquina de Turing se remonta al menos a las últimas cinco décadas; véase por ejemplo da Costa y Doria (191),(1994), Doyle (1982), Geroch y Hartle (1986), Hogarth (1994), Kreisel (1967), (1974), (1982), Pour-El y Richards (1979), (1981), Scarpellini (1963), Siegelmann y Sontag (1994), y Stannet (1990). (Copeland y Sylvan (1999) es una encuesta, véase también Copeland y Proudfoot (1999b).)
| |||