Машины, логика и квантовая физика

Хотя истины логики и чистой математики объективны и не зависят от известных нам фактов или законов природы, наше знание этих истин существенно зависит от знания физических законов. Подтверждением тому служит недавний прогресс в квантовой теории вычислений, вынуждающий отказаться от классической точки зрения на вычисление (а, следовательно, и на математическое доказательство) как на чисто логическое понятие, не зависящее от физической природы вычисления. Отныне доказательство должно рассматриваться не как абстрактный объект или процесс, а как физический процесс (разновидность вычисления), результаты и достоверность которого зависят от нашего знания физики используемого вычислительного устройства.