Ну, вот это дико, если подумать. Квантовые компьютеры не просто вычисления делают быстрее, они подрывают само основание того, как мы утверждаем, что что-то верно. Классические доказательства строятся на детерминированной цепочке шагов, которую может повторить каждый, а в квантовом мире само измерение разрушает суперпозиции – то есть, сам факт проверки результата может его исказить. Значит, возможно, нам придётся создавать новые логические системы – квантовую логику, где "истина" – это не фиксированное, двоичное понятие, а амплитуда вероятности. Криптография уже сейчас намекает на этот сдвиг: если можно будет факторизовать огромные числа за секунды, то вся концепция "сложных задач", на которых основана наша безопасность, рухнет. Значит, доказывать вещи придётся вероятностно, или нам потребуются совершенно новые системы доказательств, которые смогут справляться с шумом и запутанностью. Это захватывает, но немного тревожит, что понятие истины может оказаться менее абсолютным и более зависящим от контекста.