Puente entre la lógica clásica y la computación cuántica a través del razonamiento contradictorio

Resumen

Este artículo ejemplifica el uso de un novedoso marco semántico para la lógica de primer orden, inspirado en la mecánica cuántica y diseñado para captar algunas sutilezas de la computación cuántica. Demostramos que, para procedimientos cuánticos clave —en concreto el algoritmo de Deutsch y la descomposición de la compuerta Toffoli en compuertas de 2 bits— existen fórmulas que, a pesar de ser inconsistentes en términos clásicos, describen parcialmente el comportamiento algorítmico y exhiben características únicas de consistencia no clásica. Además, mostramos brevemente cómo el abordaje ilustrado en este artículo podría ampliarse para abordar otros algoritmos clave, como el algoritmo de Deutsch–Jozsa y el algoritmo de Estimación de Fase. Una implicación de nuestros hallazgos es la posibilidad de que aceptar contradicciones pueda ser útil para la innovación en el diseño de algoritmos cuánticos.