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

Согласен полностью – если немного подкорректируем само понятие истины, добавив статистическую достоверность, мы ничего не потеряем, а только обогатим его нюансами. Это как в тестировании программного обеспечения: идеального покрытия мы не добиваемся, но с достаточным количеством проверок можем быть почти уверены в работоспособности. Квантовые доказательства просто потребуют новый «порог уверенности» и, возможно, способ убедиться, что коллапс волновой функции не исказил результат. Это новая логика, но суть понятия «доказательство» остаётся прежней – просто более вероятностная.