- •Пенроуз р. Тени разума: в поисках науки о сознании. 1994
- •Часть I. Почему для понимания разума необходима новая физика?
- •Глава 1. Сознание и вычисление 27
- •Глава 2. Гёделевское доказательство 111
- •Глава 3. О невычислимости в математическом мышлении 206
- •Часть II. Новая физика, необходимая для понимания разума в поисках невычислительной физики разума
- •Глава 4. Есть ли в классической физике место разуму? 339
- •Глава 5. Структура квантового мира 373
- •Глава 6. Квантовая теория и реальность 474
- •Глава 7. Квантовая теория и мозг 534
- •Глава 8. Возможные последствия 598
- •Часть I
- •Часть I
- •1.1. Разум и наука
- •1.2. Спасут ли роботы этот безумный мир?
- •1.2. Спасут ли роботы этот безумный мир? 31
- •1.2. Спасут ли роботы этот безумный мир? 33
- •1.3. Вычисление и сознательное мышление
- •1.3. Вычисление и сознательное мышление 35
- •1.3. Вычисление и сознательное мышление 37
- •1.3. Вычисление и сознательное мышление 39
- •1.4. Физикализм и ментализм 41
- •1.4. Физикализм и ментализм
- •1.5. Вычисление: нисходящие и восходящие процедуры
- •1.5. Вычисление: нисходящие и восходящие процедуры 43
- •1.5. Вычисление: нисходящие и восходящие процедуры 45
- •1.7. Хаос
- •1.7. Хаос 49
- •1.7. Хаос 51
- •1.8. Аналоговые вычисления
- •1.8. Аналоговые вычисления 53
- •1.8. Аналоговые вычисления 55
- •1.9. Невычислительные процессы
- •1.9. Невычислительные процессы 57
- •1.9. Невычислительные процессы 59
- •1.9. Невычислительные процессы
- •Глава I
- •1.9. Невычислительные процессы 65
- •Глава I
- •1.10. Завтрашний день
- •1.10. Завтрашний день 67
- •Глава I
- •1.11. Обладают ли компьютеры правами и несут ли ответственность?
- •1.12. "Осознание", "понимание", "сознание", "интеллект" 71
- •1.12. "Осознание", "понимание", "сознание", "интеллект"
- •1.12. "Осознание", "понимание", "сознание", "интеллект" 73
- •1.12. "Осознание", "понимание", "сознание", "интеллект" 75
- •1.13. Доказательство Джона Серла 77
- •1.13. Доказательство Джона Серла
- •1.14. Некоторые проблемы вычислительной модели 79
- •1.14. Некоторые проблемы вычислительной модели 81
- •Глава I
- •1.16. Доказательство на основании теоремы Гёделя 89
- •1.17. Платонизм или мистицизм?
- •1.17. Платонизм или мистицизм? 91
- •1.18. Почему именно математическое понимание?
- •1.18. Почему именно математическое понимание? 93
- •1.19. Какое отношение имеет теорема Гёделя к "бытовым" действиям?
- •1.20. Мысленная визуализация и виртуальная реальность 101
- •1.20. Мысленная визуализация и виртуальная реальность 103
- •2.1. Теорема Гёделя и машины Тьюринга
- •2.1. Теорема Гёделя и машины Тьюринга 113
- •2.2. Вычисления
- •2.2. Вычисления 115
- •2.3. Незавершающиеся вычисления
- •Глава 2
- •2.6. Возможные формальные возражения против & 129
- •2.6. Возможные формальные возражения против
- •2.6. Возможные формальные возражения против & 133
- •2.6. Возможные формальные возражения против 135
- •2.6. Возможные формальные возражения против 137
- •2.6. Возможные формальные возражения против 139
- •2.6. Возможные формальные возражения против 141
- •2.6. Возможные формальные возражения против 143
- •2.8. Условие -непротиворечивости 151
- •2.8. Условие -непротиворечивости
- •2.8. Условие -непротиворечивости 153
- •2.9. Формальные системы и алгоритмическое доказательство
- •2.10. Возможные формальные возражения против (продолжение)
- •2.10. Возможные формальные возражения против 159
- •2.10. Возможные формальные возражения против 161
- •2.10. Возможные формальные возражения против 165
- •2.10. Возможные формальные возражения против 167
- •2.10. Возможные формальные возражения против 169
- •2.10. Возможные формальные возражения против 171
- •2.10. Возможные формальные возражения против 173
- •2.10. Возможные формальные возражения против 175
- •2.10. Возможные формальные возражения против 177
- •2.10. Возможные формальные возражения против 179
- •2.10. Возможные формальные возражения против 181
- •2.10. Возможные формальные возражения против 183
- •2.10. Возможные формальные возражения против 185
- •2.10. Возможные формальные возражения против 187
- •2.10. Возможные формальные возражения против 189
- •2.10. Возможные формальные возражения против 191
- •3.1. Гёдель и Тьюринг
- •3.1. Гёдель и Тьюринг 207
- •3.2. Способен ли необоснованный алгоритм познаваемым образом моделировать математическое понимание?
- •3.3. Способен ли познаваемый алгоритм непознаваемым образом моделировать математическое понимание?
- •3.4. Не действуют ли математики, сами того не осознавая, в соответствии с необоснованным алгоритмом?
- •3.5. Может ли алгоритм быть непознаваемым?
- •3.5. Может ли алгоритм быть непознаваемым? 231
- •3.5. Может ли алгоритм быть непознаваемым? 233
- •3.6. Естественный отбор или промысел Господень?
- •3.6. Естественный отбор или промысел Господень? 235
- •3.7. Алгоритм или алгоритмы?
- •3.7. Алгоритм или алгоритмы? 237
- •3.9. Алгоритмы обучения 243
- •3.9. Алгоритмы обучения
- •3.9. Алгоритмы обучения 245
- •3.11. Как обучаются роботы? 249
- •3.11. Как обучаются роботы?
- •3.11. Как обучаются роботы? 251
- •3.13. Механизмы математического поведения робота 257
- •3.13. Механизмы математического поведения робота 259
- •3.14. Фундаментальное противоречие 261
- •3.14. Фундаментальное противоречие
- •3.14. Фундаментальное противоречие 263
- •3.15. Способы устранения фундаментального противоречия
- •3.16. Необходимо ли роботу верить в механизмы м?
- •3.16. Необходимо ли роботу верить в механизмы м? 267
- •3.16. Необходимо ли роботу верить в механизмы м? 269
- •3.17. Робот ошибается и робот "имеет в виду"?
- •3.17. Робот ошибается и робот "имеет в виду"? 271
- •3.19. Исключение ошибочных -утверждений 275
- •3.19. Исключение ошибочных -утверждений
- •3.21. Окончателен ли приговор?
- •3.21. Окончателен ли приговор? 285
- •3.22. Спасет ли вычислительную модель разума хаос? 287
- •3.23. Reductio ad absurdum - воображаемый диалог 291
- •3.23. Reductio ad absurdum - воображаемый диалог 293
- •3.23. Reductio ad absurdum - воображаемый диалог 295
- •3.23. Reductio ad absurdum - воображаемый диалог 297
- •3.23. Reductio ad absurdum - воображаемый диалог 301
- •3.24. Не парадоксальны ли наши рассуждения?
- •3.24. Не парадоксальны ли наши рассуждения? 305
- •3.24. Не парадоксальны ли наши рассуждения? 307
- •3.25. Сложность в математических доказательствах 309
- •3.25. Сложность в математических доказательствах
- •3.25. Сложность в математических доказательствах 311
- •3.26. Разрыв вычислительных петель 313
- •3.26. Разрыв вычислительных петель
- •3.26. Разрыв вычислительных петель 315
- •3.26. Разрыв вычислительных петель 317
- •3.27. Вычислительная математика: процедуры нисходящие или восходящие?
- •3.28. Заключение
- •3.28. Заключение 323
- •3.28. Заключение 325
- •3.28. Заключение 327
- •3.28. Заключение 329
- •3.28. Заключение 331
- •3.28. Заключение 333
- •3.28. Заключение 335
- •Часть II
- •4.1. Разум и физические законы
- •4.1. Разум и физические законы 341
- •4.2. Вычислимость и хаос в современной физике
- •4.2. Вычислимость и хаос в современной физике 343
- •4.4. Эйнштейнов наклон 345
- •4.4. Эйнштейнов наклон
- •4.4. Эйнштейнов наклон 347
- •4.4. Эйнштейнов наклон
- •4.4. Эйнштейнов наклон
- •4.4. Эйнштейнов наклон
- •4.4. Эйнштейнов наклон 355
- •Глава 4
- •4.4. Эйнштейнов наклон
- •4.4. Эйнштейнов наклон 359
- •4.5. Вычисления и физика
- •4.5. Вычисления и физика 361
- •4.5. Вычисления и физика 363
- •4.5. Вычисления и физика
- •4.5. Вычисления и физика 367
- •4.5. Вычисления и физика 369
- •4.5. Вычисления и физика 371
- •5.1. Квантовая теория: головоломки и парадоксы
- •5.1. Квантовая теория: головоломки и парадоксы 375
- •5.2. Задача Элитцура - Вайдмана об испытании бомб 377
- •5.3. Магические додекаэдры
- •5.3. Магические додекаэдры
- •5.3. Магические додекаэдры
- •5.3. Магические додекаэдры 383
- •5.3. Магические додекаэдры 385
- •Глава 5
- •Глава 5
- •Глава 5
- •5.6. Основные правила квантовой теории
- •5.6. Основные правила квантовой теории 403
- •5.7. Унитарная эволюция u 405
- •5.7. Унитарная эволюция u
- •5.7. Унитарная эволюция u 407
- •5.7. Унитарная эволюция u 409
- •Глава 5
- •5.8. Редукция r вектора состояния
- •5.8. Редукция r вектора состояния 411
- •5.8. Редукция r вектора состояния 413
- •Глава 5
- •Глава 5
- •5.10. Квантовая теория спина. Сфера Римана 421
- •5.10. Квантовая теория спина. Сфера Римана
- •5. . Квантовая теория спина. Сфера Римана
- •5.10. Квантовая теория спина. Сфера Римана
- •5.10. Квантовая теория спина. Сфера Римана 427
- •Глава 5
- •5.10. Квантовая теория спина. Сфера Римана 429
- •5.12. Гильбертово пространство 433
- •5.12. Гильбертово пространство
- •5. / 2. Гильбертово пространство
- •Глава 5
- •5.12. Гильбертово пространство 437
- •5.13. Описание редукции r в терминах гильбертова пространства
- •5.14. Коммутирующие измерения
- •5.15. Квантовомеханическое "и"
- •5.16. Ортогональность произведений состояний
- •5.17. Квантовая сцепленность
- •5.17. Квантовая сцепленность 451
- •5.17. Квантовая сцепленность 453
- •5.17. Квантовая сцепленность 455
- •5.17. Квантовая сцепленность 457
- •Глава 5
- •5.18. Объяснение загадки магических додекаэдров
- •5.18. Объяснение загадки магических додекаэдров 459
- •5.18. Объяснение загадки магических додекаэдров 463
- •5.18. Объяснение загадки магических додекаэдров 465
- •6.1. Является ли r реальным процессом?
- •6.1. Является ли r реальным процессом? 475
- •6.1. Является ли r реальным процессом? 477
- •6.2. О множественности миров 479
- •6.2. О множественности миров
- •6.2. О множественности миров 481
- •6.3. Не принимая вектор всерьез
- •6.3. Не принимая вектор всерьез 483
- •6.3. Не принимая вектор всерьез 485
- •6.4. Матрица плотности
- •6.4. Матрица плотности 489
- •6.4. Матрица плотности 491
- •6.4. Матрица плотности 493
- •6.4. Матрица плотности 495
- •6.5. Матрицы плотности для эпр-пар
- •6.5. Матрицы плотности для эпр-пар 497
- •6.6. Fapp-объяснение процедуры r 499
- •6.6. Fapp-объяснение процедуры r
- •6.6. Fapp-объяснение процедуры r 503
- •6.6. Fapp-объяснение процедуры r 505
- •6.7. Fapp-объяснение правила квадратов модулей
- •6.7. Fapp-объяснение правила квадратов модулей 507
- •6.9. А теперь попробуем принять действительно всерьез
- •Глава 6
- •6.10. Гравитационная редукция вектора состояния 515
- •6.10. Гравитационная редукция вектора состояния
- •6. 10. Гравитационная редукция вектора состояния 517
- •6.11. Абсолютные единицы 519
- •6.11. Абсолютные единицы
- •6.12. Новый критерий 521
- •6.12, Новый критерий
- •6.12. Новый критерий 523
- •6.12. Новый критерий 525
- •6.12. Новый критерий 527
- •6.12. Новый критерий 529
- •6.12. Новый критерий 531
- •7.2. Нейроны, синапсы и компьютеры
- •7.2. Нейроны, синапсы и компьютеры 541
- •7.2. Нейроны, синапсы и компьютеры 543
- •7.3. Квантовые вычисления
- •7.3. Квантовые вычисления 545
- •7.4. Цитоскелет и микротрубочки 547
- •7.4. Цитоскелет и микротрубочки
- •7.4. Цитоскелет и микротрубочки 549
- •Глава 7
- •7.4. Цитоскелет и микротрубочки
- •Глава 7
- •7.4. Цитоскелет и микротрубочки 553
- •Глава 7
- •7.4. Цитоскелет и микротрубочки
- •Глава 7
- •7.4. Цитоскелет и микротрубочки 557
- •7.4. Цитоскелет и микротрубочки
- •7.5. Квантовая когерентность внутри микротрубочек 561
- •7.5. Квантовая когерентность внутри микротрубочек
- •7.5. Квантовая когерентность внутри микротрубочек 563
- •7.6. Микротрубочки и сознание
- •7.6. Микротрубочки и сознание 565
- •7.7. Модель разума
- •7.7. Модель разума 569
- •7.7. Модель разума 571
- •7.7. Модель разума 573
- •7.8. Невычислимость в квантовой гравитации (1)
- •7.8. Невычислимость в квантовой гравитации (1) 577
- •7.9. Машины с оракулом и физические законы
- •7.9. Машины с оракулом и физические законы 579
- •7.10. Невычислимость в квантовой гравитации (2) 581
- •7.10. Невычислимость в квантовой гравитации (2)
- •7.10. Невычислимость в квантовой гравитации (2) 583
- •7.11. Время и сознательное восприятие
- •7.11. Время и сознательное восприятие 585
- •Глава 7
- •7.11. Время и сознательное восприятие 587
- •7.11. Время и сознательное восприятие 589
- •8.1. Искусственные разумные "устройства"
- •8.1. Искусственные разумные "устройства" 599
- •8.1. Искусственные разумные "устройства" 601
- •8.2. Что компьютеры умеют делать хорошо... И что не очень
- •8.3. Эстетика и т. Д.
- •8.4. Опасности компьютерных технологий
- •8.4. Опасности компьютерных технологий 611
- •8.5. Неправильные выборы 613
- •8.5. Неправильные выборы
- •8.5. Неправильные выборы 615
- •8.6. Физический феномен сознания 617
- •8.6. Физический феномен сознания
- •8.6. Физический феномен сознания 619
- •8.6. Физический феномен сознания 621
- •8.6. Физический феномен сознания 623
- •8.7. Три мира и три загадки 625
- •8.7. Три мира и три загадки
- •8.7. Три мира и три загадки 627
- •8.7. Три мира и три загадки
- •8.7. Три мира и три загадки 631
- •8.7. Три мира и три загадки 633
- •8.7. Три мира и три загадки 635
- •8.7. Три мира и три загадки 637
- •8.7. Три мира и три загадки 639
5.13. Описание редукции r в терминах гильбертова пространства
Как в терминах гильбертова пространства представить процедуру R? Рассмотрим простейший случай измерения (типа "да/нет"), при котором прибор делает запись ДА при достоверном обнаружении у измеряемого квантового объекта некоторого свойства и НЕТ, если обнаружить данное свойство не удается (или, что то же самое, прибор обнаруживает достоверное указание на то, что таким свойством измеряемый квантовый объект не обладает). Этот случай включает в себя и ту возможность, которая нас в настоящий момент как раз и интересует, - вариант НЕТ может оказаться нулевым измерением. Подобные измерения выполняют, например, детекторы фотонов из §5.8. Они регистрируют результат ДА, обнаруживая прибытие фотона, и НЕТ, если обнаружения фотона не произошло. В данном случае измерение НЕТ является не чем иным, как нулевым измерением - измерением оно при этом быть не перестает, вследствие чего состояние системы "скачком" переходит в состояние, ортогональное тому, какое наблюдалось бы, получи мы при измерении результат ДА. Аналогичным образом, к нулевым можно непосредственно отнести и измерения спина (для атома со спином )
в опыте Штерна - Герлаха; можно говорить, что измерение дает результат ДА, если обнаруживается, что атом имеет спин (что происходит, когда атом отклоняется в сторону, соответствующую направлению "вверх"), или НЕТ, если атом в эту сторону
440 Глава 5
не отклоняется, что дает нам спиновое состояние, ортогональное состоянию
Более сложные измерения всегда можно представить в виде последовательности измерений типа "да/нет". Рассмотрим, например, атом со спином . Чтобы не упустить ни одного из п + 1 различных возможных результатов измерения доли спина, ориентированного в направлении "вверх", начнем с того, что зададим вопрос, не находится ли атом в спиновом состоянии, например, . Для ответа на вопрос попытаемся обнаружить атом в луче, соответствующем этому спиновому состоянию "единодушно вверх". Если измерение дает ответ ДА, то на этом наши мучения и заканчиваются. Если же мы получаем НЕТ, то измерение оказывается нулевым, и мы переходим к следующему вопросу: "Не находится ли атом в спиновом состоянии " И так далее. Каждый раз ответ НЕТ следует считать нулевым измерением, каковое указывает лишь на то, что в данном случае не был получен ответ ДА. Запишем наши рассуждения более подробно. Предположим, что первоначально атом находится в спиновом состоянии
а мы выполняем измерение с целью выяснить, не ориентирован ли весь спин атома в направлении "вверх". Получив ответ ДА, мы удостоверяемся в том, что атом действительно находится в состоянии , или, если точнее, "перескакивает" в
состояние при измерении. Если же ответ НЕТ, то
измерение является нулевым, и приходится предположить, что первоначальное состояние "перескакивает" в ортогональное состояние
Мы выполняем следующее измерение, на этот раз желая выяснить не находится ли атом в состоянии . Получив при этом измерении ответ ДА, мы говорим, что атом и в самом деле находится в состоянии или, что правильнее, "перескакивает" в состояние в результате измерения. Если же мы получаем ответ НЕТ, то происходит "скачок" в следующее состояние,
и так далее.
5.13. Описание редукции R 441
Эти "скачки", совершаемые (или, по крайней мере, кажущиеся совершаемыми) вектором состояния, олицетворяют собой наиболее головоломный аспект квантовой теории. Думаю, недалеко от истины утверждение, что большинство квантовых физиков либо испытывают немалые трудности, пытаясь примириться с тем фактом, что подобные "скачки" неотъемлемо присущи объективной физической реальности, либо вообще отказываются признавать, что реальность может вести себя столь абсурдным образом. Тем не менее, какой бы точки зрения относительно связи описываемых здесь процессов с "реальностью" мы ни придерживались, упомянутые "скачки" представляют собой существенный элемент квантового формализма.
В предыдущем рассуждении я воспользовался правилом, иногда называемым проекционным постулатом и однозначно определяющим форму подобных "скачков" (например, состояние должно "перескакивать" в состояние ). Название постулата обусловлено геометрическими соображениями, в чем мы вскоре убедимся. По мнению некоторых физиков, проекционный постулат представляет собой несущественное допущение квантовой теории. Физики эти, впрочем, имеют в виду, как правило, отнюдь не нулевые измерения, но измерения, при которых квантовое состояние нарушается неким физическим взаимодействием. Такое нарушение происходит, когда измерение (в вышеописанных примерах) дает ответ ДА, т. е. детектор регистрирует фотон, поглощая его при этом, а атом по прохождении установки Штерна - Герлаха оказывается в некотором конкретном луче (что опять же означает ДА). Для рассматриваемого же нулевого измерения (т. е. измерения, при котором мы получаем ответ НЕТ) проекционный постулат оказывается как нельзя более существенным, поскольку без него никак невозможно узнать, что квантовая теория думает (и, кстати, правильно думает) по поводу измерений, следующих за нулевым.
Для того, чтобы получить более наглядное представление о смысле проекционного постулата, попробуем описать происходящее в терминах гильбертова пространства. Для этого введем понятие примитивного измерения. Примитивным я буду называть измерение типа "да/нет", при котором результат ДА означает, что система находится в некотором определенном квантовом состоянии (либо в кратном ему состоянии ,
442 Глава 5
где ) - или только что в это состояние "перескочила". Таким образом, в случае примитивного измерения результат ДА определяет физическое состояние системы как нечто конкретное и единственное, тогда как результат НЕТ может предполагать несколько альтернативных вариантов развития событий. Примитивными являются, например, описанные выше измерения спина, посредством которых мы пытались установить, не находится ли спин в том или ином состоянии (скажем, в состоянии ).
При примитивном измерении результат НЕТ проецирует состояние системы на состояние, ортогональное . На рис. 5.24 представлена геометрическая интерпретация этой процедуры. За начальное состояние примем состояние (обозначенное на рисунке большой стрелкой) - в результате измерения оно "перескакивает" либо в состояние, кратное (если ответ ДА), либо проецируется на состояние, ортогональное (если ответ НЕТ). Со случаем НЕТ никаких дополнительных проблем не возникает - согласно стандартной квантовой теории, именно такого результата и следует ожидать. В случае же ответа ДА ситуация осложняется тем, что здесь квантовая система вступает во взаимодействие с измерительным устройством, переходя в состояние, значительно более хитроумное, нежели просто . Результатом такой эволюции оказывается, в общем случае, так называемое сцепленное состояние, "сплетающее" в одно целое исходную квантовую систему и измерительное устройство. (Сцепленные состояния мы рассмотрим в § 5.17.) Тем не менее, дальше квантовая система должна эволюционировать так, будто она и в самом деле перескочила в состояние, кратное ; в противном случае последующая эволюция системы становится неоднозначной.
Алгебраически этот скачок выражается следующим образом. Вектор состояния всегда можно записать (в данном случае - однозначно, поскольку вектор задан) в виде
1
где \х) ортогонален . Вектор есть ортогональная проекция вектора на луч, содержащий вектор , а \х) - это ортогональная проекция на пространство ортогональных дополнений (т.е. на пространство всех векторов, ортогональных ). Если измерение дает результат ДА, то это нужно понимать так, что вектор состояния перескочил в (или просто
5.13. Описание редукции R 443
Рис. 5.24. Примитивное измерение проецирует состояние в состояние, кратное заданному состоянию (в случае ответа ДА), или в состояние, являющееся ортогональным дополнением i (в случае ответа НЕТ).
в ), что является отправной точкой его последующей эволюции. Если же результат НЕТ, то вектор перескакивает в
Какие вероятности следует приписать каждому из двух альтернативных результатов? Для того, чтобы воспользоваться предложенным выше "правилом квадратов модулей", будем полагать вектор единичным и выберем некоторый единичный вектор в направлении вектора |х), т.е. . Тогда выражение принимает вид
(где, собственно, ), а относительные ве-
роятности результатов ДА и НЕТ вычисляются через отношение квадратов . Если и сам вектор является единичным,
то величины представляют собой фактические веро-
ятности, соответственно, результатов ДА и НЕТ.
Можно сформулировать все это и по-другому, причем в настоящем контексте получится даже несколько проще (в качестве упражнения предлагаю заинтересованному читателю самостоятельно убедиться в том, что эти формулировки эквивалентны). Для того чтобы определить фактическую вероятность каждого из возможных результатов (в данном случае, ДА и НЕТ), мы просто возводим в квадрат длину вектора (ненормированного к единичному вектору), после чего сравниваем полученное значение с квадратами длины соответствующих проекций. Коэффициент
444 Глава 5
уменьшения в каждом случае и будет представлять собой искомую вероятность.
В заключение следует упомянуть, что в случае общего измерения типа "да/нет" (т. е. не только примитивного), когда ДА-состояния не обязательно принадлежат одному-единственному лучу, рассуждение будет по большей части аналогично вышеприведенному. Только здесь речь пойдет о ДА-подпространстве Д и НЕТ-подпространстве Н. Эти подпространства являются ортогональными дополнениями друг друга - в том смысле, что любой вектор одного ортогонален любому вектору другого, вместе же они заполняют все исходное гильбертово пространство. Согласно проекционному постулату, при измерении первоначальный вектор состояния ортогонально проецируется на подпространство Д, если получен ответ ДА, и на подпространство Н, если получен ответ НЕТ. Относительные вероятности этих результатов здесь также определяются коэффициентами уменьшения квадрата длины вектора состояния при соответствующем проецировании (см. НРК, с. 263, рис. 6.23). Впрочем, статус проекционного постулата в данном случае представляется несколько менее ясным, чем при нулевом измерении, поскольку при утвердительном результате измерения результирующее состояние сцепляется с состоянием измерительного устройства. Поэтому в последующих рассуждениях я ограничусь более простыми примитивными измерениями, ДА-пространство которых состоит из одного-единственного луча (содержащего векторы, кратные ). Для наших нужд этого будет вполне достаточно.