Hipercomputacin

Un hipercomputador computa funciones que son in- vel de su construccin terica como de su posible implecomputables por una mquina de Turing. Esta computa mentacin, hasta ahora no se han presentado argumentos
funciones o nmeros, resuelve problemas o realiza tareas concluyentes que lo refuten en ninguno de estos sentidos.
que no pueden ser computados o resueltas por una mquina de Turing (MT).

3 Conclusiones
1

Desarrollo

Una cuestin importante es la de determinar si el AK puede adaptarse a otros referentes fsicos diferentes al empleado por Kieu. Debido a la existencia de modelos de
hipercomputacin tales como las mquinas de Turing con
orculos, las mquinas de Turing aceleradas y las redes
neuronales recurrentes anlogas, entre otros, los cuales
resuelven en principio un problema incomputable por una
mquina de Turing; la hipercomputacin terica existe.
Sin embargo, la posibilidad de implementar algn modelo terico de hipercomputacin es un problema abierto.
La diferencia establecida por la hipercomputacin entre
los trminos computable y computable por una mquina de Turing produce una ruptura con el paradigma establecido. La concrecin de esta ruptura a partir de la implementacin de un modelo de hipercomputacin eciente, tendra consecuencias de mayor alcance tanto a nivel
terico como a nivel prctico, que las generadas por los
resultados de incomputabilidad obtenidos para la computabilidad de las mquinas de Turing.

La teora de la hipercomputacin rechaza la idea de una

computabilidad absoluta, independiente de cualquier teora lgica, matemtica, fsica o biolgica subyacente. No
obstante el surgimiento de una comunidad acadmica
creciente alrededor del tema de hipercomputacin, y an
a pesar de la proliferacin de modelos tericos, la posibilidad de una construccin real de una hipermquina es
controversial y est an bajo anlisis. En el contexto de la
implementacin de un hipercomputador, son de particular inters los modelos de hipercomputacin fundamentados en la fsica y ms especcamente en la computacin
cuntica.

Tipos de computacin cuntica

Actualmente existen por lo menos seis modelos diferentes de computacin cuntica: estndar, continuo, hbrido,
adiabtico, geomtrico y anyonico-topolgico. Un error
muy frecuente en la literatura es no hacer distincin entre los trminos computacin cuntica y computacin
cuntica estndar. Debido a este mal entendido y debido a la equivalencia en trminos de computabilidad, entre la computacin cuntica estndar y las MTs establecida por David Deutsch, se rechaza entonces la posibilidad
de hipercomputacin desde la computacin cuntica. Sin
embargo esta situacin es errnea como lo demuestra la
existencia de algoritmos cunticos de hipercomputacin.
En el 2001, Tien D. Kieu present un algoritmo hipercomputacional cuntico, es decir, un algoritmo que soluciona un problema incomputable por una mquina de
Turing (PIMT). El algoritmo de Kieu (AK), tal como lo
son la mayora de algoritmos cunticos es probabilista.
Desde su versin inicial, Kieu ha publicado ms de diez
artculos en los cuales presenta diferentes aspectos y caractersticas de su algoritmo. El AK es especicado sobre
el modelo de computacin cuntica continua adiabtica,
emplea como referente fsico el oscilador armnico cuntico y resuelve el dcimo problema de Hilbert (DPH). Si
bien el AK ha generado bastante controversia tanto a ni1

4 TEXT AND IMAGE SOURCES, CONTRIBUTORS, AND LICENSES

Text and image sources, contributors, and licenses

4.1

Text

Hipercomputacin Fuente: http://es.wikipedia.org/wiki/Hipercomputaci%C3%B3n?oldid=75146917 Colaboradores: Vivero, Matdrodes,

House, Edu re3, Aleposta, Mutari, Farisori, Kikolon, Grillitus y Annimos: 1

4.2

Images

Archivo:Commons-emblem-question_book_orange.svg
Fuente:
http://upload.wikimedia.org/wikipedia/commons/1/1f/
Commons-emblem-question_book_orange.svg Licencia: CC BY-SA 3.0 Colaboradores: <a href='//commons.wikimedia.org/
wiki/File:Commons-emblem-issue.svg'
class='image'><img
alt='Commons-emblem-issue.svg'
src='//upload.wikimedia.org/
wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/25px-Commons-emblem-issue.svg.png'
width='25'
height='25'
srcset='//upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/38px-Commons-emblem-issue.svg.png
1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Commons-emblem-issue.svg/50px-Commons-emblem-issue.svg.png 2x'
data-le-width='48' data-le-height='48' /></a> + <a href='//commons.wikimedia.org/wiki/File:Question_book.svg' class='image'><img
alt='Question book.svg' src='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/25px-Question_book.svg.png'
width='25' height='20' srcset='//upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/38px-Question_book.svg.
png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/9/97/Question_book.svg/50px-Question_book.svg.png 2x' data-lewidth='252' data-le-height='199' /></a> Artista original: GNOME icon artists, Jorge 2701

4.3

Content license

Creative Commons Attribution-Share Alike 3.0