- •Пенроуз р. Тени разума: в поисках науки о сознании. 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.6. Основные правила квантовой теории
Что же это за связь? Что объединяет комплексные числа и теорию вероятностей, имея результатом неоспоримо превосходное описание работы тончайших внутренних механизмов нашего мира? Грубо говоря, законы комплексного исчисления справедливы на очень тонком подуровне феноменов, тогда как вероятности играют свою роль на узком мостике, что соединяет тот тонкий подуровень с хорошо знакомым нам уровнем обыденного восприятия, - от такого "объяснения", разумеется, проку немного; для сколько-нибудь реального понимания нам понадобится нечто более существенное.
Рассмотрим для начала роль комплексных чисел. В силу самого их определения их очень сложно принять в качестве инструмента для описания действительной физической реальности. Наибольшая сложность заключается в том, что им, на первый взгляд, просто нет места на уровне тех феноменов, что мы способны непосредственно воспринимать, на уровне, где действуют классические законы Ньютона, Максвелла и Эйнштейна. Таким образом, для того, чтобы наглядно представить себе, как именно работает квантовая теория, необходимо (хотя бы предварительно) учесть, что физические процессы происходят на двух четко разделенных уровнях: квантовом подуровне, где как раз и играют свою странную роль комплексные числа, и классическом уровне привычных макроскопических физических законов. На квантовом уровне комплексные числа выглядят вполне естественно - однако вся эта естественность напрочь пропадает, случись им забрести на уровень классический. Я вовсе не хочу сказать, что между уровнем, на котором действуют квантовые законы, и уровнем классически воспринимаемых феноменов непременно должно наличествовать физическое разделение; давайте просто вообразим (пока), что такое разделение существует - это поможет понять смысл процедур, реально применяемых в квантовой теории. Вопрос о существовании такого физического разделения в действительности очень глубок, и мы попытаемся на него ответить несколько позднее.
Где же начинается квантовый уровень? Надо думать, квантовым называется уровень тех физических объектов, которые "достаточно малы" - например, молекулы, атомы, элементарные частицы. Впрочем, на физические расстояния это требование
5.6. Основные правила квантовой теории 403
"малости" распространяется далеко не всегда. Эффекты квантового уровня могут возникать и на огромном удалении. Вспомним о четырех световых годах, разделяющих два додекаэдра в моей истории в § 5.3, или о двенадцати метрах, разделяющих фотоны во вполне реальном эксперименте Аспекта (§5.4). Иначе говоря, квантовый уровень определяется не малым физическим размером, но чем-то более тонким, причем на данном этапе этой "формулировкой" лучше и ограничиться. Можно также приблизительно считать квантовым уровень, где мы рассматриваем очень малые изменения в энергии. Более подробно мы обсудим этот вопрос в §6.12.
Классическим же мы называем уровень, который мы, как правило, воспринимаем непосредственно. Здесь действуют законы классической физики, оперирующие вещественными числами, здесь имеют смысл самые обычные описания - например, те, что задают положение, скорость движения и форму футбольного мяча. Существует ли какая-либо реальная физическая граница между квантовым уровнем и уровнем классическим? Вопрос этот, как я только что отметил, очень глубок и тесно связан с трактовкой Х-загадок, или квантовых парадоксов (см. §5.1). Поиск ответа мы отложим до лучших времен, а пока, просто из соображений удобства, будем рассматривать квантовый уровень отдельно от классического.
Какую фундаментальную роль играют комплексные числа на квантовом уровне? Возьмем для примера отдельную частицу - скажем, электрон. В классической картине мира электрон может занимать либо положение А, либо какое-нибудь другое положение В. Однако в квантовомеханическом описании перед тем же электроном открываются гораздо более широкие возможности. Он не только может занимать то или иное из указанных положений, он может находиться и в любом из ряда возможных состояний, занимая при этом (в некотором строгом смысле) оба положения одновременно! Обозначим через состояние, в котором электрон занимает положение А, а через - состояние, в котором электрон занимает положение В.5 Тогда, согласно квантовой
5Из соображений удобства я использую здесь предложенную Дираком стандартную систему обозначений для квантовых состояний (в данном случае, скобку "кет"). Читатели, незнакомые с квантовомеханическими обозначениями, могут пока не обращать на эти скобки внимания.
Поль Дирак был одним из наиболее выдающихся физиков двадцатого столетия.
404 Глава 5
теории, электрону доступны следующие возможные состояния:
причем фигурирующие здесь весовые коэффициенты и z представлены комплексными числами (и по крайней мере одно из них должно 45ыть отлично от нуля).
Что это означает? Если бы весовые коэффициенты были неотрицательными вещественными числами, то можно было предположить, что записанная комбинация представляет собой, в некотором смысле, взвешенное вероятностное ожидание положения электрона, где w и z символизируют относительные вероятности нахождения электрона в положении, соответственно, А и В. Тогда отношение : z даст отношение вероятности нахождения электрона в точке А к вероятности нахождения электрона в точке В. Таким образом, если этими двумя и исчерпываются доступные электрону положения, то мы получаем ожидание + + z) для электрона в точке А и ожидание для электрона
в точке В. При электрон определенно находится в точке В; при z = 0 ищите его в точке А, больше ему деться некуда. Если состояние электрона записывается как , это означает, что
электрон может с равной вероятностью оказаться как в положении А, так и в положении В.
Однако числа w и z - комплексные, так что вышеприведенная интерпретация не имеет никакого смысла. Отношения квантовых весовых коэффициентов w и z не являются отношениями вероятностей. Это невозможно хотя бы потому, что вероятности всегда выражаются вещественными числами. Несмотря на широко распространенное мнение о вероятностной природе квантового мира, на квантовом уровне не действует карданова теория вероятностей. А вот его таинственная теория комплексных чисел пришлась здесь как нельзя более кстати - именно она лежит в основе математически точного и абсолютно безвероятностного описания процессов, протекающих на квантовом уровне.
Среди его достижений - общая формулировка законов квантовой теории, а также ее релятивистское обобщение, включающее в себя знаменитое "уравнение Дирака" для электрона. Дирак обладал удивительной способностью "чуять" истину - свои уравнения он оценивал в значительной степени по их эстетическим каяествам!