3
www.scottaaronson.com/blog/?p=277
4
5
idle.slashdot.org/story/07/10/02/1310222/scott-aaronson-printer-shill
6
www.scottaaronson.com/blog/?p=297
7
Стандартным учебным пособием в этой области остаются «Квантовые вычисления и квантовая информация» Майкла Нильсена (Michael Nielsen) и Айзека Чуанга (Isaac Chuang).
8
T. Ito and T. Vidick, A Multi-prover Interactive Proof for NEXP Sound against Entangled Provers. In Proceedings of IEEE Symposium on Foundations of Computer Science (2012), pp. 243–252.
9
E. Schrödinger, What is Life? With Mind and Matter and Autobiographical Sketches, Cambridge University Press (reprinted edition), 2012.
10
У автора – «для всех» (for all). – Прим. пер.
11
Упрощая, автор использует далее как синонимы слова valid, которое описывает корректность (выводимость) логической формулы, и true, характеризующее истинность конкретного высказывания. – Прим. пер.
12
Собственным подмножеством называется подмножество, не совпадающее с самим множеством. – Прим. пер.