- •Пенроуз р. Тени разума: в поисках науки о сознании. 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.7. Fapp-объяснение правила квадратов модулей
В предыдущих трех параграфах неявно присутствовало одно далеко идущее допущение, к которому я намеренно не привлекал
6.7. Fapp-объяснение правила квадратов модулей 507
излишнего внимания. Одна лишь необходимость такого допущения эффективно аннулирует любое предположение о том, что из U-эволюции можно вывести правило квадратов модулей для процедуры R - даже в FAPP-приближении. Уже самим фактом использования матрицы плотности мы неявно допускаем, что взвешенная вероятностная комбинация может быть описана таким объектом вполне адекватно. Уже сама уместность использования выражений вроде (которые, в свою очередь, принадлежат к виду "объект, умноженный на собственное комплексное сопряженное") определенно намекает на присутствие где-то рядом правила квадратов модулей. Правило получения значений вероятности из матрицы плотности корректно сочетает классические и квантовые вероятности только потому, что правило квадратов модулей встроено в саму концепцию матрицы плотности.
Хотя процесс унитарной эволюции (U) действительно очень хорошо стыкуется (математически) с концепциями матрицы плотности и скалярного произведения в гильбертовом пространстве, это вовсе не означает, что вычисляемые с помощью квадратов модулей величины непременно являются вероятностями. То есть речь снова идет о сосуществовании R и , а не об объяснении происхождения R из U. Унитарной эволюции абсолютно ничего не известно о понятии вероятности. То, что квантовые вероятности можно вычислять с помощью этой процедуры, совершенно очевидно является дополнительным допущением, вне зависимости от того, каким образом мы пытаемся обосновать взаимоотношения процедур R и U - привлекая к делу множественность миров или используя FAPP-подход.
Поскольку почти все экспериментальные подтверждения, какими может похвастаться квантовая механика, основаны на предписываемой теорией процедуре вычисления вероятностей, игнорировать R-часть квантовой механики мы можем лишь на свой страх и риск. Редукция R отлична от эволюции U и не следует из U, как бы громко и часто теоретики ни уверяли нас в обратном. А раз так, то придется нам смириться с R как с отдельным, самостоятельным физическим процессом. Я отнюдь не настаиваю на немедленном присвоении редукции статуса отдельного, самостоятельного физического закона. Ничуть не сомневаюсь, что она представляет собой приближение чего-то такого, о чем мы, возможно, еще не имеем никакого представления. Рассужде-
508 Глава 6
ния в конце предыдущего параграфа недвусмысленно указывают на то, что применение R-процедуры в процессе измерения действительно носит приближенный характер.
Согласимся пока с тем, что необходимо искать какие-то новые объяснения, и попробуем, соблюдая должную осторожность, двинуться дальше теми тропами в неизвестное, что, возможно, еще открыты перед нами.
6.8. О редукции вектора состояния посредством
сознания
Среди тех, кто всерьез полагает, что вектор состояния описывает реальный физический мир, есть такие, кто утверждает - в противовес уповающим на эволюцию U на всех уровнях, т.е. приверженцам концепции множественности миров, - что нечто подобное процедуре R действительно происходит, причем происходит тогда, когда в процесс вовлекается сознание наблюдателя. Выдающийся физик Юджин Вигнер как-то даже набросал вкратце теорию такого процесса [385]. Общая идея заключается в том, что бессознательная материя - или, возможно, всего лишь неживая материя - эволюционирует в соответствии с U, однако как только состояние системы оказывается сцеплено с состоянием какого-либо сознательного (или просто "живого") существа, появляется нечто новое, в дело вступает некий физический процесс, приводящий к R, он-то и редуцирует в действительности состояние системы.
Не думаю, что есть необходимость формулировать предположение (следуя такой точке зрения), что сознательное существо каким-то образом приобретает способность оказывать "воздействие" на тот выбор, какой делает в этот момент Природа. Такое предположение увлекло бы нас в чрезвычайно коварные воды - насколько я могу судить, наблюдаемые факты резко противоречат любым подобного рода упрощенным заявлениям, сводящимся к тому, что сознательный волевой акт способен воздействовать на результат квантовомеханического эксперимента. Таким образом, мы не станем в рамках нашего исследования настаивать на том, что процедура R должна непременно требовать активного участия "свободной сознательной воли" (альтернативным точкам зрения, впрочем, уделено некоторое внимание в § 7.1).
Не сомневаюсь, что кое-кто из читателей ожидал, что идеи
6.8. О редукции вектора состояния 509
подобного рода должны были привлечь на свою сторону и меня (раз уж я занимаюсь поиском связей между проблемой квантового измерения и проблемой сознания). Уверяю вас, это не так. В конце концов, вполне возможно, что в нашей Вселенной сознание - феномен достаточно редкий. На поверхности Земли обладающие сознанием существа встречаются в самых различных местах, однако, насколько позволяют судить имеющиеся у нас на данный момент экспериментальные свидетельства , в глубинах Вселенной, на расстоянии многих световых лет от нас, высокоразвитого - или какого-либо иного - сознания нет. Получается весьма странная картина: "реальная" физическая вселенная, физические объекты в которой эволюционируют так или иначе в зависимости от того, может ли их видеть, слышать или как-то иначе ощущать какой-либо из разумных обитателей этой самой вселенной.
Возьмем для примера погоду. Синоптические ситуации, развивающиеся в атмосфере любой планеты, обусловлены хаотическими физическими процессами (см. §1.7) и, как следствие, очень чувствительны к многочисленным единичным квантовым событиям. Если в отсутствие сознания процесс R и вправду не происходит, тогда расплывчатое марево альтернатив квантовых суперпозиций никогда не сгустится в какую-то определенную синоптическую ситуацию. Можем ли мы и в самом деле полагать, что погода на какой-нибудь далекой планете так и пребывает в виде некоей совокупности комплексных суперпозиций бесконечного количества различных возможных вариантов (этакой полной неразберихи, не имеющей ничего общего с настоящей погодой), пока ее не воспримет своими органами чувств какое-нибудь забредшее туда случайно разумное создание, - в каковой момент, и ни мгновением раньше, вся эта куча суперпозиций превратится, наконец, в погоду?
Можно возразить, что с операционной точки зрения - т. е. с операционной точки зрения обладающего сознанием существа - такая "погода суперпозиций" ничем не отличается от настоящей неизвестной заранее погоды (FAPP!). Однако такое решение проблемы физической реальности не является, само по себе, удовлетворительным. Как мы уже видели, FAPP-подход не объясняет "реальность" на таком фундаментальном уровне, но служит лишь в качестве временной полумеры, которая позволяет в рамках современной квантовой механики объединить U- и R-
510 Главаб
процедуры - до тех пор, по крайней мере, пока технический прогресс не заведет нас туда, где нам потребуется более точная и последовательная теория.
Словом, я предлагаю направить наши поиски решения проблем квантовой механики в какую-нибудь другую сторону. Хотя и нельзя исключить, что проблема разума окажется в конечном счете связана с проблемой квантового измерения - или U/R-парадоксом квантовой механики, - сознание само по себе (в том виде, в каком мы представляем его себе сейчас) не способно, по моему глубокому убеждению, разрешить внутренние физические конфликты квантовой теории. Думаю, что мы должны обратиться к проблеме квантового измерения и решить ее прежде, чем можно будет ожидать какого-либо реального прогресса в объяснении сознания в терминах физических процессов - причем решать эту проблему следует исключительно физическими средствами. Когда у нас появится удовлетворительное решение, мы, возможно, окажемся в лучшем положении для поиска ответов на загадку сознания. Я считаю, что решение проблемы квантового измерения является необходимым условием для понимания работы разума, но никогда не утверждал, что это одна и та же проблема. Проблема разума неизмеримо сложнее проблемы измерения!