Пенроуз Р. — Тени разума. В поисках науки о сознании :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Пенроуз Р. — Тени разума. В поисках науки о сознании

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Тени разума. В поисках науки о сознании

Автор: Пенроуз Р.

Аннотация:

Книга знаменитого физика о современных подходах к изучению деятельности мозга, мыслительных процессов и пр. Излагаются основы математического аппарата - от классической теории (теорема Гёделя) до последних достижений, связанных с квантовыми вычислениями. Книга состоит из двух частей: в первой части обсуждается тезис о невычислимости сознания, во второй части рассматриваются вопросы физики и биологии, необходимые для понимания функционирования реального мозга.

Для широкого круга читателей, интересующихся наукой.

Язык:

Рубрика: Психология/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2005

Количество страниц: 690

Добавлена в каталог: 04.12.2007

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$G(\mathbb{F})$       152
$\mathbb{Q}((M))$       260
$\mathbb{Q}_{\mathcal{M}} ((M))$       266
$\mathbb{ZFC}$       241
$\mathbb{ZF}$ (Цермело — Френкеля формальная система)      147 158 175 219 241
$\mathbb{ZF}$ -игра      175 177
$\mathbb{ZF}^{*}$       175
$\mathcal{A}$       см. «Точки зрения»
$\mathcal{B}$       см. «Точки зрения»
$\mathcal{C}$       см. «Точки зрения»
$\mathcal{D}$       см. «Точки зрения»
$\mathcal{G}$       см. «Гёделя — Тьюринга вывод»
$\mu$ -операция      153 215
$\omega$ -непротиворечивость      см. «Системы формальные»
$\Omega(f)$       152
$\Pi_{1}$ —высказывания      160 210 215 292 314 324
$\Pi_{1}$ —высказывания «краткие»      279 297
$\Pi_{1}$ —высказывания, степень сложности      275 311
$\Pi_{1}$ —высказывания, установление истинности      161—168 188
$\Pi_{1}$ —высказывания, установление истинности, роботом      266—271
$\Pi_{1}$ —высказывания, «доказательства»      308
$\star$ -утверждения      257 258 260 271 292 309 330
$\star$ -утверждения, ошибки      271 283
$\star$ -утверждения, ошибки, устранение      274—279
$\star_{\mathcal{M}}$ -утверждения      266 300 306 308
$\star_{\mathcal{M}}$ -утверждения, безошибочные      280 282
$\star_{\mathcal{M}}$ -утверждения, исправимые      285
$\star_{\mathcal{M}}$ -утверждения, ограничение количества до конечной величины      279—283
$\star_{\mathcal{M}}$ -утверждения, степень сложности      279
Casus irreducibilis      397 399 400
e (основание натуральных логарифмов)      424
FAPP (с практической точки зрения)-подход      483 488—489
FAPP (с практической точки зрения)-подход в роли временной замены действительной теории      505
FAPP (с практической точки зрения)-подход и правило квадратов модулей      505—507
FAPP (с практической точки зрения)-подход, объяснение R      498—505
MAP (белки, ассоциированные с микротрубочками)      556 572
OR (Объективная редукция)      537 544 546 566 569 572 575
OR (Объективная редукция), масштабы применимости      622—623
OR (Объективная редукция), необходимость в адекватной теории      599
PSR 1913+16, двойной пульсар      361—364
Q((M))      260
Qualia      79 82 93
R      см. «Редукция вектора состояния»
Reductio ad absurdum      133—137 177 258
Reductio ad absurdum, возражения      146
Shabbos-ключ      419
U      см. «Унитарная эволюция»
X-загадки      373 374 402 474
X-загадки фундаментальные      410 513
Z-загадки      373—377 474 590
Z-загадки, нулевые измерения      421
Z-загадки, применение      599
Z-загадки, экспериментальный статус      386—390
А-исчисление      46 203
Абсолютная скорость      349
Абсолютные единицы      519—522
Аксиома выбора      158 166 190
Аксиомы      147 215 217
Аксоны      541 556 558
Алгоритмизм      133
Алгоритмы      42—43 см.
Алгоритмы восходящие      43 85 86 210 243
Алгоритмы генетические      210 249
Алгоритмы изменяющиеся      131
Алгоритмы изменяющиеся алгоритмически      131—133
Алгоритмы моделирование математического понимания      см. «Понимание»
Алгоритмы необоснованные      210 222
Алгоритмы непознаваемо обоснованные      207
Алгоритмы непознаваемые      228—233
Алгоритмы нисходящие      43 83 86 210 243
Алгоритмы обучения      243—244
Алгоритмы обучения, внешние факторы      244 246
Алгоритмы обучения, внутренние факторы      244 246
Алгоритмы, воспроизведение      79
Алгоритмы, обоснованность      207 209 222—227
Алгоритмы, определение      60 112
Алгоритмы, оракул      579
Алгоритмы, сложность      79 110
Алгоритмы, степень сложности      280
Алгоритмы, эквивалентность      236
Амман, Роберт      61 64
Ансамбли статистические      367 369
Аппель, Кеннет      309 321
Аристотель      334
Арифметика      182
Аспект, Ален      388 389 473 569
Астрономия      355
Астрофизика      367 370 372
Ахаронов, Якир      593
Белки      620
Белл, Джон      386 388 390 483 510
Белл, Джослин      361
Белла, неравенства      386 389 455 498
Бергер, Роберт      60
Беркли, епископ      633
Бернар, Клод      565
Бертлмана носки      388 452 498
Бесконечность      139 424
Биологические системы      372 526—527 569 598
Божественное вмешательство      41 233 264 303 323
Бозе — Эйнштейна, конденсация      327 560 563 568
Бозе, статистика      449
Бозоны      447 449
Бом, Дэвид      386 488
Бор, Нильс      346 477
Брауэр, Л.Э.Я.      146
Буль, Джордж      334
Вайдман, Лев      376 419 593
Ван, Хао      60 120
Ван-дер-ваальсова сила      346 554 565 572
Вебер, Туллио      510
Вейля конформный тензор (WEYL)      355
Вектор единичный      438
Векторные пространства комплексные      434
Векторные пространства, алгебраические правила для      434
Векторы состояний      405 см. «Редукция
Векторы состояний нестабильные      522
Векторы состояний нормированные      412 435 438 491
Векторы состояний, вероятностная комбинация      488
Векторы состояний, квадрат длины      435
Векторы состояний, обратная эволюция      483
Векторы состояний, ортогональное дополнение      442
Векторы состояний, ортогональность      437
Векторы состояний, прямая эволюция      483
Векторы состояний, реальность      482—488
Векторы состояний, реальность, возражения      483 485
Векторы состояний, скачки      440—442 451 510
Векторы состояний, «бра»-вектор      491 593
Векторы состояний, «кет»-вектор      403 491 593
Вербос, Пол      593
Вероятность      403 410—412 507 см.
Вероятность квантовая      489 492 494
Вероятность классическая      489 492 494
Вероятность, квадраты модулей комплексных чисел      412 416 505 507
Вигнер, Юджин П.      502 507 630
Вигнера друг      502
Визуализация      97—100 103
Вода упорядоченная (вицинальная)      562 572
Вода, природа      562
Возражения $\mathbf{Q}1—\mathbf{Q}20$       см. «Гёделя — Тьюринга вывод»
Волновые функции      405 432 434 см.
Волновые функции, коллапс      410
Волновые функции, свободной частицы      511
Волновые функции, свободной частицы, коэффициент осцилляции      408 432
Воображаемый диалог      288—305
Воспринимаемые состояния, ортогональность      482
Воспроизведение      79
Времени, течение      585 587 596
Времениподобные линии      581 582
Времениподобные линии замкнутые      354 581 582

Вселенная, невычислимые модели      61 66
Вселенная, происхождение в результате «большого взрыва»      367—370
Вселенная, состав      619
Вселенная, состояния      335
Выборы, рассказ      613—616
Высказывания истинные      149 157 160 175
Высказывания ложные      149 157 160 175
Высказывания неразрешимые      149 160 175
Вычисление следа      491
Вычисления      114 см.
Вычисления аналоговые      52—56 103
Вычисления в физике      360—372
Вычисления дискретные      52
Вычисления и сознательное мышление, точки зрения      см. «Точки зрения»
Вычисления квантовые      544—546
Вычисления цифровые      56 103
Вычисления, вычислительные процедуры      124
Вычисления, вычислительные процедуры, восходящие      43 319 321
Вычисления, вычислительные процедуры, нисходящие      43 319 321
Вычисления, вычислительные процедуры, обоснованность      124 125 144 157
Вычисления, незавершаемость      116—117
Вычисления, определение      42
Вычисления, семейства вычислений      123
Вычисления, степень сложности      144 202
Вычислимость, смысл      107
Газы      369
Галилей, Галилео      360 474 630
Гамильтон, Джон, архиепископ Шотландский      392 394
Гарднер, Мартин      312
Гауссовы функции      511 513 514
Гейзенберг, Вернер      346
Гейзенберга, принцип неопределенности      432 530
Геометрия      183 321 632
Геометрия евклидова      182 183 191 321 335
Геометрия неевклидова      183
Геометрия пространство-время      519 576—578
Герон Александрийский      400
Герох, Роберт      575—578
Гёделизация      185 188 193 241
Гёдель, Курт      89 111 157 158 207 289 334 582 635
Гёделя машина для доказательства теорем      207 214 222 268 295
Гёделя общепринятая форма      150 152 157
Гёделя самоотносимость      305
Гёделя теорема неполноты      89 111—112 123 127 152 155—157 635
Гёделя — Коэна, теорема      158 166
Гёделя — Тьюринга $\mathcal{G}^{***}$       166
Гёделя — Тьюринга $\mathcal{G}^{**}$       166
Гёделя — Тьюринга $\mathcal{G}^{\alpha}$       581
Гёделя — Тьюринга $\mathcal{G}^{’}$       579
Гёделя — Тьюринга $\mathcal{G}^{’’}$       579
Гёделя — Тьюринга вывод $\mathcal{G}$       128 206 210 578 581
Гёделя — Тьюринга формальное возражение $\mathbf{Q}1$       130
Гёделя — Тьюринга формальное возражение $\mathbf{Q}10$       158
Гёделя — Тьюринга формальное возражение $\mathbf{Q}11$       161
Гёделя — Тьюринга формальное возражение $\mathbf{Q}12$       168
Гёделя — Тьюринга формальное возражение $\mathbf{Q}13$       171
Гёделя — Тьюринга формальное возражение $\mathbf{Q}14$       175
Гёделя — Тьюринга формальное возражение $\mathbf{Q}15$       177
Гёделя — Тьюринга формальное возражение $\mathbf{Q}16$       179
Гёделя — Тьюринга формальное возражение $\mathbf{Q}17$       183
Гёделя — Тьюринга формальное возражение $\mathbf{Q}18$       185
Гёделя — Тьюринга формальное возражение $\mathbf{Q}19$       187
Гёделя — Тьюринга формальное возражение $\mathbf{Q}2$       131
Гёделя — Тьюринга формальное возражение $\mathbf{Q}20$       188 190
Гёделя — Тьюринга формальное возражение $\mathbf{Q}3$       133
Гёделя — Тьюринга формальное возражение $\mathbf{Q}4$       134
Гёделя — Тьюринга формальное возражение $\mathbf{Q}5$       134
Гёделя — Тьюринга формальное возражение $\mathbf{Q}6$       136
Гёделя — Тьюринга формальное возражение $\mathbf{Q}7$       137 139
Гёделя — Тьюринга формальное возражение $\mathbf{Q}8$       139
Гёделя — Тьюринга формальное возражение $\mathbf{Q}9$       146
Гёделя — Тьюринга формальные возражения      130—147 158—190
Гёделя — Тьюринга, $\mathcal{G}^{*}$       163
Гёделя, теорема полноты      191
Гильберт, Давид      58 147
Гильберта десятая проблема      58—61
Гильбертово пространство      434—438
Гильбертово пространство, векторы      435
Гильбертово пространство, векторы, квадрат длины      435
Гильбертово пространство, векторы, ортогональность      437—438
Гильбертово пространство, размерность      434
Гирарди — Римини — Вебера, схема      см. «ГРВ-схема»
Гирарди, Джанкарло      510 529
Го      602 604
Гольдбаха, гипотеза      117 150 309
Гравитация      345 357—358
Гравитация квантовая      см. «Квантовая гравитация»
Гравитация, гравитационная линза      355
Гравитация, гравитационное излучение      364
Гравитация, гравитационные поля      355
Гравитация, как искривление пространства      346
Гравитация, как «эмергентный феномен»      346
Гравитация, уникальность      358
Гравитация, эффекты      352 358
Грасси, Рената      529
Грассманово произведение      447 448
ГРВ-схема      511—516 529 596
Двоичная запись числа, расширенная      194
де Бройль, Луи      488
дель Джудиче, Эмилио      562
Дендриты      541 556 558
Диагональное доказательство      125—127
Диози, Л.      514 522 529
Диофант Александрийский      58 400
Диофантовы уравнения      58—61
Дирак, Поль А.М.      346 403
Дирака уравнение      403
Дирака «кет»-вектор и «бра»-вектор      403 434 491
Дискретные параметры      342
Додекаэдры магические      377—386 455 592
Додекаэдры, антиподальные вершины      383
Додекаэдры, нераскрашиваемость      465—468
Додекаэдры, объяснение      458—465
Додекаэдры, описанная сфера      460
Дойч, Дэвид      544 546 581—584 596
Доналдсон, Саймон К.      632
Допплера, эффект      363
Дуализм      602
Дэвис, Мартин      60
Евклид      134
Загадки-головоломки      см. «Z-загадки»
Загадки-парадоксы      см. «X-загадки»
Задача об испытании бомб      376—377 417—421
Задача со словами      576
Законы сохранения      473
Замощение, задача о замощении      60 61 108
Заузленность      106
Зеркала      406—409 414 473
Зеркала полусеребрёные      406—409 499 501
Излучение черного тела      369 370
Измерения      326 410 412
Измерения коммутирующие      441 444—445 461
Измерения невзаимодействующие      421
Измерения некоммутирующие      444
Измерения нулевые      421 438 440 451
Измерения примитивные      441 444 458 485 486
Измерения типа «да/нет»      438—440 444
Измерения частичные      488
Измерения, проблема измерения      449 482 486—488 509—510
Измерения, проблема измерения, как центральная X-загадка квантовой теории      514
Измерительное устройство      412 414 416
Измерительное устройство в качестве препятствия      414
ИИ (искусственный интеллект)      32—33 108 231—233
ИИ (искусственный интеллект) жесткий      36
ИИ (искусственный интеллект) мягкий      39
ИИ (искусственный интеллект) сильный      36 231 288
ИИ (искусственный интеллект) слабый      39 231
ИИ (искусственный интеллект), дискретное вычисление при моделировании      343
ИИ (искусственный интеллект), искусственные разумные «устройства»      598—601
ИИ (искусственный интеллект), процедуры для реализации математического понимания      323

1 2 3

О проекте