Revisión del 03:11 11 oct 2016 editar Alejandrocaro35 (discusión · contribs.) 77 016 ediciones Sin resumen de edición ← Ir a diferencia anterior		Revisión del 07:24 10 nov 2016 editar deshacer Eloy (discusión · contribs.) 10 457 ediciones m El término inglés "plausible" significa creíble o verosímil; en español, "plausible" significa digno de aplauso. Ir a siguiente diferencia →
Línea 5: Aún cuando es físicamente imposible que existan estas máquinas debido a que requieren de almacenamiento ilimitado y probabilidad cero de falla, de forma coloquial la completitud de Turing se atribuye a máquinas físicas o lenguajes de programación que podrían ser universales si tuvieran almacenamiento infinito y fueran absolutamente fiables. La primera de esas máquinas apareció en [[1941]]: la [[Z3]] de [[Konrad Zuse]], que era controlada por programas. Su universalidad, sin embargo, fue demostrada mucho después por [[Raúl Rojas]] en [[1998]].<ref>[http://web.archive.org/web/http://www.zib.de/zuse/Inhalt/Kommentare/Html/0684/universal2.html \| Link a paper (en ingles)]</ref> En ese sentido laxo, todas las computadoras modernas son también Turing completas. La completitud de Turing es significativa, pues, cada diseño ~~plausible~~verosímil de un dispositivo de computación, por más avanzado que sea (aun las [[computación cuántica\|computadoras cuánticas]]), pueden ser emuladas por una máquina universal de Turing. Así, una máquina que pueda actuar como una máquina universal de Turing puede, en principio, hacer cualquier cálculo que ''cualquier'' otra computadora es capaz de hacer (en otras palabras, es programable). Obsérvese, sin embargo, que no dice nada sobre el esfuerzo de escribir un programa para la máquina o sobre el tiempo que puede tomar el cálculo. Está la [[hipótesis (método científico)\|hipótesis]] de que el [[Universo]] es Turing completo (ver ''implicaciones filosóficas'' en la [[Tesis de Church-Turing]] y en [[Física digital]]).

Diferencia entre revisiones de «Turing completo»