” En adelante, una prueba debe considerarse como un proceso, el cálculo en sí mismo, ya que debemos aceptar que en el futuro, las computadoras cuánticas probarán teoremas mediante métodos que ni un cerebro humano ni ningún otro árbitro podrán verificar paso a paso- paso, ya que si la ‘secuencia de proposiciones’ correspondiente a dicha prueba se imprimiera, el papel llenaría el universo observable muchas veces ”. David Deutsch en su artículo: Máquinas, lógica y física cuántica escrito hace 28 años con Artur Ekert y Rossella Lupacchini.
Si bien Deutsch fue pionero en el campo de la computación cuántica al formular una descripción para una máquina cuántica de Turing, las expectativas que fomentó para la computación cuántica en el caso de probar que los programas superan la realidad, incluso con las extensiones más optimistas del arte actual.
Omitiendo la idea de que probar el software requiere asegurar su terminación; La complejidad de expresar un programa que es lo suficientemente complejo como para requerir inspección de la máquina, aunque en realidad no es muy complejo, supera con creces los tamaños de registro de qubit y los tiempos de decoherencia que parecen probables para las próximas décadas. (Digo esto mientras recuerdo que mi primera computadora, una Kim 1, tenía una memoria de 512 bytes.) Los registros Qubit y el tiempo de decoherencia, en el futuro previsible, limitarán los programas cuánticos.
- ¿Cuáles son los problemas conceptuales de la mecánica cuántica?
- ¿Se puede eliminar un objeto físico?
- Quiero aprender sobre la teoría de la computación cuántica. ¿Donde debería empezar?
- ¿Qué es un q-bit y cómo funciona en una computadora cuántica?
- ¿Deberán reconstruirse los lenguajes de programación frente a la computación cuántica? ¿Valdría la pena que?
Una base axiomática para la programación de computadoras por CAR HOARE proporciona la base para estimar la complejidad.
Los axiomas permiten al diseñador de lenguaje expresar sus intenciones generales de manera simple y directa, sin la masa de detalles que generalmente acompaña a las descripciones algorítmicas. Finalmente, los axiomas pueden formularse de una manera en gran medida independiente entre sí, de modo que el diseñador pueda trabajar libremente en un axioma o grupo de axiomas sin temor a efectos inesperados de interacción con otras partes del lenguaje.
Incluso en el formato compacto ofrecido por Hoare, las entradas necesarias no serían digeribles por las computadoras cuánticas sin una mejora de dos o tres órdenes de magnitud.