¿Cómo se pueden conciliar las leyes de la lógica, como la no contradicción, el medio excluido y la identidad propia, con el superposicionamiento cuántico?

Answer 1

Hemos intentado esta reconciliación en este documento:

Máquinas paraconsistentes y su relación con la computación cuántica “. Juan C. Agudelo y. Walter Carnielli

J Computación lógica (2010) 20 (2): 573-595.

doi: 10.1093 / logcom / exp072

Máquinas paraconsistentes y su relación con la computación cuántica

Resumen

Describimos un método para axiomatizar cálculos en máquinas deterministas de Turing (TM). Cuando se aplica a los cálculos en TM no deterministas, este método puede producir teorías contradictorias (y por lo tanto triviales), considerando la lógica clásica como la lógica subyacente. Al sustituir en tales teorías la lógica subyacente por una lógica paraconsistente, definimos un nuevo modelo de cómputo, la máquina de Turing paraconsistente. Este modelo permite una simulación parcial de estados superpuestos de computación cuántica. Dicha característica permite la definición de algoritmos paraconsistentes que resuelven (con algunas restricciones) los conocidos problemas de Deutsch y Deutsch-Jozsa. Sin embargo, este primer modelo de computación no representa adecuadamente las nociones de estados entrelazados y fase relativa, que son características clave en la computación cuántica. De esta manera, se define un modelo más afilado de TM paraconsistentes, que se acerca mejor a las características de la computación cuántica. Finalmente, definimos clases de complejidad para tales modelos y establecemos algunas relaciones con las clases de complejidad clásicas.

Answer 2

Excelente pregunta Supongo que toma la perspectiva operacional simple y que ha escuchado, como lo hice yo, que en la computación cuántica la unidad básica de información, el qubit, es tanto 1 como 0 y todos los valores intermedios. Si vamos a tomar esto en serio, la computación cuántica parece registrar algunos blobs de valores mágicos que contienen todos los valores posibles permitidos para ellos. Pero al contener todo, cada qubit es indistinguible de cualquier otro. Además, todas las operaciones que se les apliquen producirán un blob similar, que también es la suma de todas las posibilidades. Esto es pura tontería y, si es viable, inútil. Cuando grabas todo, no grabas nada. Y cuando combina todo, la combinación final es idéntica a la inicial.

En resumen, la forma en que se explican los qubits debe mejorarse. Estos pueden presentarse como unidades de información que son más ricas y más flexibles, o que permiten almacenar más información utilizando menos manipulación física, o algún tipo de violín. La afirmación de que los qubits son una especie de entidades místicas que son todo y nada, y todo lo demás es una monstruosidad y una forma de vudú intelectual.

Answer 3

Los dos no tienen mucho que ver el uno con el otro.

La lógica es un sistema de reglas que puede usarse para manipular información existente y conocida. Comienza con un axioma o postulado, que se define como algo tan obviamente cierto que no necesita pruebas. Otra definición de esto sería una suposición descabellada de la que no tenemos idea, por lo que estamos asumiendo hasta que sepamos que es una mala idea.

Si tiene suposiciones precisas y bien definidas, entonces la lógica puede ser una herramienta bastante ingeniosa, ya sea que brinde seguridad absoluta para una idea sospechosa o, a veces, incluso proporcione una nueva visión que nunca hubiera imaginado en primer lugar.

Pero es basura adentro, basura afuera. Si esas suposiciones iniciales no están bien definidas, son precisas y completas, entonces la lógica no puede ayudarlo. Si ve algo en el mundo físico que no coincide con la lógica que lo lleva a esperar, o ha cometido un error en su lógica o, más probablemente, sus axiomas eran incorrectos.