Квантовые вычисления со времен Демокрита. Скотт Ааронсон

Чтение книги онлайн.

Читать онлайн книгу Квантовые вычисления со времен Демокрита - Скотт Ааронсон страница 17

Квантовые вычисления со времен Демокрита - Скотт Ааронсон

Скачать книгу

где он может остановиться, это само A. Следовательно, A может быть полностью упорядочено.

      Ранее я упоминал некие математические сложности, изначально присущие континууму, и есть у меня одна головоломка, некоторым образом связанная с ними.

      Вы ведь знаете действительную числовую прямую? Пусть нам нужно объединение открытых отрезков, или интервалов (возможно, бесконечного их числа), которое перекрывает все рациональные точки. Вопрос: обязательно ли сумма длин таких интервалов должна быть бесконечной? Казалось бы, это совершенно естественно, это первое, что приходит в голову! В конце концов, рациональные числа у нас всюду!

      Конец ознакомительного фрагмента.

      Текст предоставлен ООО «ЛитРес».

      Прочитайте эту книгу целиком, купив полную легальную версию на ЛитРес.

      Безопасно оплатить книгу можно банковской картой Visa, MasterCard, Maestro, со счета мобильного телефона, с платежного терминала, в салоне МТС или Связной, через PayPal, WebMoney, Яндекс.Деньги, QIWI Кошелек, бонусными картами или другим удобным Вам способом.

      Сноски

      1

      www.scottaaronson.com/blog. Использованное в названии блога слово штетл обозначало еврейское местечко в черте оседлости Российской империи. – Прим. пер.

      2

      www.youtube.com/watch?v=saWCyZupO4U. Здесь и далее примечания автора даются без дополнительных указаний.

      3

      www.scottaaronson.com/blog/?p=277

      4

      www.smh.com.au/news/technology/professor-claims-ad-agency-cribs-lecturenotes/2007/10/03/1191091161163.html

      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

      Собственным подмножеством называется подмножество, не совпадающее с самим множеством. – Прим. пер.

iVBORw0KGgoAAAANSUhEUgAAAhAAAANSCAYAAAA05/daAAAKQ2lDQ1BJQ0MgcHJvZmlsZQAAeNqdU3dYk/cWPt/3ZQ9WQtjwsZdsgQAiI6wIyBBZohCSAGGEEBJAxYWIClYUFRGcSFXEgtUKSJ2I4qAouGdBiohai1VcOO4f3Ke1fXrv7e371/u855zn/M55zw+AERImkeaiagA5UoU8Otgfj09IxMm9gAIVSOAEIBDmy8JnBcUAAPADeXh+dLA//AGvbwACAHDVLiQSx+H/g7pQJlcAIJEA4CIS5wsBkFIAyC5UyBQAyBgAsFOzZAoAlAAAbHl8QiIAqg0A7PRJPgUA2KmT3BcA2KIcqQgAjQEAmShHJAJAuwBgVYFSLALAwgCgrEAiLgTArgGAWbYyRwKAvQUAdo5YkA9AYACAmUIszAAgOAIAQx4TzQMgTAOgMNK/4KlfcIW4SAEAwMuVzZdL0jMUuJXQGnfy8ODiIeLCbLFCYRcpEGYJ5CKcl5sjE0jnA0zODAAAGvnR

Скачать книгу