
- •Пенроуз р. Тени разума: в поисках науки о сознании. 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
6.6. Fapp-объяснение процедуры r 499
Таким образом, в данной ситуации "матричное" описание может быть признано адекватным "реальности", только если имеется какая-либо причина, в принципе не позволяющая выполнить (и сравнить) измерения на обоих концах системы. В обычных условиях таких причин, как правило, не существует. В условиях необычных - например, в ситуации, предложенной Стивеном Хокингом [191], где одна из частиц ЭПР-пары оказывается заключенной внутрь черной дыры, - могут появиться и более серьезные доводы в пользу матричного описания на фундаментальном уровне (что, собственно, и доказывает Хокинг). Однако такие доводы сами по себе предполагают некий серьезный пересмотр самих основ квантовой теории. Пока такого пересмотра не произошло, существенная роль матрицы плотности остается скорее практической (FAPP), нежели фундаментальной - что, впрочем, отнюдь не уменьшает ее важности.
6.6. Fapp-объяснение процедуры r
Теперь давайте посмотрим, какую же, в самом деле, роль играют матрицы плотности в рамках стандартного (FAPP-) подхода к объяснению "наблюдаемой" природы процедуры R. Идея заключается в том, что квантовая система и измерительное устройство (вместе с занимаемым ими окружением) - все три, предполагается, эволюционируют вместе в соответствии с процедурой U - ведут себя так, будто всякий раз, когда эффекты измерения оказываются нерасторжимо сцеплены с этим самым окружением, происходит процедура R.
Изначально квантовая система считается изолированной от окружения, однако в момент "измерения" в измерительном устройстве инициируются макроскопические эффекты, которые вскоре приводят к возникновению сцепленностей с элементами окружения, причем количество этих сцепленностей непрерывно возрастает. На этом этапе картина во многом напоминает описанную в предыдущем параграфе ЭПР-ситуацию. Квантовая система (вместе с только что сработавшим измерительным устройством) выступает в роли правой частицы, тогда как возмущенное окружение аналогично отдаленной левой частице. Физик, намеревающийся осмотреть измерительное устройство, играет роль, схожую с ролью наблюдателя, предполагающего
500 Глава 6
исследовать правую частицу. Наблюдатель не имеет доступа к каким бы то ни было измерениям, которые могли быть выполнены на левой частице; аналогично, нашему физику недоступна подробная картина возмущений, предположительно произведенных в окружении измерительным устройством. Окружение состоит из огромного количества случайным образом движущихся частиц, и можно смело утверждать, что детальная и точная информация относительно того, какому именно возмущению подверглись частицы окружения, будет безвозвратно потеряна для физика. Аналогичным образом, наблюдателю у правой частицы из предыдущего примера недоступны какие бы то ни было сведения о спине левой частицы. Как и в случае с правой частицей, состояние измерительного устройства адекватно описывается не отдельным вектором состояния, но матрицей плотности; соответственно, измерительное устройство рассматривается не как чистое, отдельно взятое квантовое состояние, но как комбинация вероятностей состояний. Согласно стандартной интерпретации, эта комбинация вероятностей дает те же вероятностно-взвешенные альтернативы, что мы получили бы в результате процедуры R - по крайней мере, с практической точки зрения.
Рассмотрим пример. Допустим, некий источник испускает фотон в направлении детектора. Между источником и детектором помещено полусеребрёное зеркало, после столкновения с которым фотон переходит в суперпозицию состояний
при этом состояние (пропущенный фотон) активирует детектор (ДА), а состояние (отраженный фотон) никак детектора не затрагивает (НЕТ). Полагая все состояния нормированными, получим, в соответствии с процедурой R, следующие вероятности:
вероятность ответа ДА = , вероятность ответа НЕТ =
Поскольку зеркало полупрозрачно (как в исходном примере, рассмотренном в § 5.7, где теперешним соответствовали
состояния ), каждая из этих вероятностей равна ,
т.е.
6.6. FAPP-объяснение процедуры К 501
Детектор находится первоначально в состоянии , которое по поглощении фотона (в состоянии ) эволюционирует в состояние (ДА), а в отсутствие поглощения фотона (в состоянии ) - в состояние (НЕТ). Если игнорировать окружение, то состояние системы на данном этапе имеет вид
(все состояния мы полагаем нормированными). Предположим, однако, что детектор, будучи макроскопическим объектом, сразу же вступает во взаимодействие с окружением, - частью такого окружения можно считать и "сбежавший" фотон (первоначально в состоянии ), поглощенный стеной лаборатории. Как и прежде, детектор, в зависимости от того, зарегистрировал он фотон или нет, переходит в одно из своих новых состояний ( или , соответственно), однако в процессе перехода он по-разному возмущает окружение. Состояние окружения, сопутствующее состоянию детектора |Фд), обозначим через , а состояние окружения, сопутствующее состоянию детектора , - через (эти состояния мы также полагаем нормированными, но не обязательно ортогональными). Полное состояние сцепленной системы можно записать так:
До сих пор физик в процессе не участвовал, однако теперь он собирается осмотреть детектор, чтобы узнать, какой результат тот зафиксировал (ДА или НЕТ). Каким образом физик может оценить квантовое состояние детектора в момент, непосредственно предшествующий осмотру? Как и наблюдатель, измерявший в предыдущем параграфе спин правой частицы, наш физик резонно воспользуется матрицей плотности. Можно предположить, что никакого измерения окружения с целью выяснить, находится оно в состоянии |Фд) или |Фн), в действительности не проводилось - точно так же, как никто не измерял спин левой частицы в описанной выше ЭПР-паре. Соответственно, матрица плотности и в самом деле даст адекватное квантовое описание детектора.
Какова эта матрица плотности? Рассуждая стандартным образом (который основывается на некоем частном способе моделирования упомянутого окружения -o исходя при этом из неких не вполне обоснованных допущений, таких, например, как
502 Глава 6
допущение о несущественности корреляций ЭПР-типа), приходим к заключению, что матрица плотности в данном случае должна очень быстро принять вид, очень хорошее приближение к которому дает следующее выражение:
где
Эту матрицу плотности можно интерпретировать, как представление комбинации вероятностей двух альтернатив: регистрация детектором фотона (результат ДА) с вероятностью и отсутствие регистрации детектором фотона (результат НЕТ) с вероятностью \z\2. Если бы имела место процедура R, то именно к такому результату и должен был бы прийти физик по завершении своего эксперимента - или нет?
Думаю, здесь следует проявить некоторую осторожность. Матрица плотности D и в самом деле позволяет физику вычислить необходимые ему значения вероятностей, если предположить, что альтернатив всего две: либо , либо . Но из наших рассуждений такое предположение никоим образом не следует. Вспомним из предыдущего параграфа, что матрицы плотности, как комбинации вероятностей состояний, допускают множество альтернативных интерпретаций. В частности, поскольку зеркало полупрозрачно, мы имеем здесь в точности такую же матрицу плотности, как и та, какую мы получили выше
Можно записать ее иначе; скажем, так:
для частицы со спином :
где и - два других возможных ортогональных состояния детектора (что представляет собой, надо сказать, совершенную нелепость с точки зрения классической физики), причем