КУЛЬТОВАЯ КНИГА Роджер Пенроуз Тени разума: В поисках науки о сознании. Часть I: Понимание разума и новая физика Текст научной статьи по специальности «Математика»

РЕЦЕНЗИИ

116

КУЛЬТОВАЯ КНИГА

Роджер Пенроуз Тени разума: В поисках науки о сознании. Часть I: Понимание разума и новая физика

Краткое содержание

Предисловие. Благодарности. Читателю. Пролог.

Часть I. Почему для понимания разума необходима новая физика? Невы-числимость сознательного мышления.

Глава 1. Сознание и вычисление. 1.1. Разум и наука. 1.2. Спасут ли роботы этот безумный мир? 1.3. Вычисление и сознательное мышление. 1.4. Физикализм и ментализм. 1.5. Вычисление: нисходящие и восходящие процедуры. 1.6. Противоречит ли точка зрения C тезису Чёрча — Тьюринга? 1.7. Хаос. 1.8. Аналоговые вычисления. 1.9. Невычислительные процессы. 1.10. Завтрашний день. 1.11. Обладают ли компьютеры правами и несут ли ответственность? 1.12. «Осознание», «понимание», «сознание», «интеллект». 1.13. Доказательство Джона Серла.

1.14. Некоторые проблемы вычислительной модели. 1.15. Свидетельствуют ли ограниченные возможности сегодняшнего ИИ в пользу C? 1.16. Доказательство на основании теоремы Гёделя. 1.17. Платонизм или мистицизм? 1.18. Почему именно математическое понимание? 1.19. Какое отношение имеет теорема Гёделя к «бытовым» действиям? 1.20. Мысленная визуализация и виртуальная реальность. 1.20. Является ли невычислимым математическое воображение?

Глава 2. Гёделевское доказательство. 2.1. Теорема Гёделя и машины Тьюринга. 2.2. Вычисления. 2.3. Незавершающиеся вычисления. 2.4. Как убедиться в невозможности завершить вычисления? 2.5. Семейства вычислений; следствие Гёделя — Тьюринга G. 2.6. Возможные формальные возражения против G. 2.7. Некоторые более глубокие математические соображения. 2.8. Условие ю-непротиво-речивости. 2.9. Формальные системы и алгоритмическое доказательство. 2.10. Возможные формальные возражения против G (продолжение).

Приложение А: Гёделизирующая машина Тьюринга.

Глава 3. О невычислимости в математическом мышлении. 3.1. Гёдель и Тьюринг. 3.2. Способен ли необоснованный алгоритм познаваемым образом моделировать математическое понимание? 3.3. Способен ли познаваемый алгоритм непознаваемым образом моделировать математическое понимание? 3.4. Не действуют ли математики, сами того не осознавая, в соответствии с необоснованным алгоритмом? 3.5. Может ли алгоритм быть непознаваемым? 3.6. Естественный отбор или промысел Господень? 3.7. Алгоритм один или их много? 3.8. Эзотерические математики не от мира сего как результат естественного отбора. 3.9. Алгоритмы обучения. 3.10. Может ли окружение вносить неалгоритмический внешний фактор? 3.11. Как обучаются роботы? 3.12. Способен ли робот на «твердые математические убеждения»? 3.13. Механизмы математического поведения робота.

3.14. Фундаментальное противоречие. 3.15. Способы устранения фундаментального противоречия. 3.16. Необходимо ли роботу верить в механизмы М? 3.17. Робот

Вестник РГУ им. И. Канта. 2006. Вып. 10. Физико-математические науки. С. 116 — 118.

Рецензии

ошибается и робот «имеет в виду»? 3.18. Введение случайности: ансамбли всех возможных роботов. 3.19. Исключение ошибочных ★ -утверждений. 3.20. Возможность ограничиться конечным числом *м-утверждений. 3.21. Окончателен ли приговор? 3.22. Спасет ли вычислительную модель разума хаос? 3.23. КвйисИс ай аЪьитйит — воображаемый диалог. 3.24. Не парадоксальны ли наши рассуждения?

3.25. Сложность в математических доказательствах. 3.26. Разрыв вычислительных петель. 3.27. Вычислительная математика: процедуры нисходящие или восходящие? 3.28. Заключение.

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

Пенроуз Р. Тени разума: В поисках науки о сознании. Часть I: Понимание разума и новая физика. М.; Ижевск: Институт компьютерных исследований, 2003.

С.В. Мациевский, канд. физ.-мат. наук, доц. РГУ им. И. Канта

ИЗДАТЕЛЬСТВО РГУ им. И. КАНТА С.А. Ишанов, С.В. Клевцур, С.В. Мациевский Информатика

Учебное пособие является записью лекций по информатике, прочитанных поступающим в Российский государственный университет им. И. Канта. Оно достаточно сбалансированно, а его отдельные разделы увязаны между собой. Учебный материал рассчитан на тех, кто не знаком ни с компьютером, ни с программированием. Безусловно, книга будет полезна всем школьникам, при работе с ней компьютер не необходим, но желателен.

Две первые части — «Базовые сведения» и «Приложения» — могут быть использованы для получения базовых знаний перед компьютерной практикой, третья часть — «Программирование» — перед программированием на Паскале или любом другом процедурном языке.

Краткое содержание

Предисловие. Введение.

Часть I. Базовые сведения. Глава 1. Числа. Глава 2. Данные. Глава 3. Аппаратура. Глава 4. Сети.

Часть II. Приложения. Глава 5. Программы. Глава 6. Тексты. Глава 7. Мультимедиа. Глава 8. ШШШ.

Часть III. Программирование. Глава 9. Алгоритм и программа. Глава 10. Кодирование алгоритмов на Паскале. Глава 11. Программы без массивов. Глава 12. Программы с массивами.

Приложения.

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

Ишанов С.А., Клевцур С.В., Мациевский С.В. Информатика: Учеб. пособие. Изд. 3-е, испр. Калининград: Изд-во РГУ им. И. Канта, 2006.

117

В.С. Секованов, канд. физ.-мат. наук, проф., зав. каф. КГУ им. Н.А. Некрасова