Даглас Хофштадтер - ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда

MacKay, Donald M. «Information, Mechanism, and Meaning». Cambridge, Mass.: M.I.T. Press, 1970. Книга о различных измерениях информации, применимых к разным ситуациям; теоретические вопросы человеческого восприятия и понимания; объяснение того, как сознание может возникнуть на механической основе.

* Mandelbrot, Benoft. «Fractals: Form, Chance, and Dimension». San Francisco: W. H. Freeman, 1977. Редкая книга — собрание иллюстраций к сложным современным идеям математики. Речь идет о рекурсивно определенных кривых и фигурах, чья размерность не выражается целым числом. Удивительным образом, Мандельброт показывает их отношение практически ко всем отраслям науки.

McCarthy, John. «Ascribing Mental Qualities to Machines». В сб. Martin Ringle, ed. «Philosophical Perspectives in Artificial Intelligence». New York: Humanities Press, 1979. Глубокая статья, исследующая, при каких обстоятельствах можно сказать, что у машины есть убеждения, желания, намерения, сознание или свобода воли. Интересно сравнить эту статью с книгой Гриффина.

Meschkowski, Herbert. «Non-Euclidean Geometry». New York: Academic Press, 1964. Небольшая книга с хорошими историческими сведениями.

Meyer, Jean. «»Essai d'application de certain modeles cybernetiques к la coordination chez les insectes sociaux». «Insectes Sociaux» XIII, no. 2 A966): 127. Статья, проводящая некоторые параллели между нейронной организацией мозга и организацией муравьиной колонии.

Meyer, Leonard В. «Emotion and Meaning in Music». Chicago: University of Chicago Press, 1956. Автор пытается приложить идеи гештальт психологии и теории восприятия к объяснению музыкальной структуры. Одна из самых необычных книг о музыке и разуме.

--- «Music, the Arts, And Ideas». Chicago: University of Chicago Press, 1967. Вдумчивый анализ мыслительных процессов, участвующих в слушании музыки, а также иерархических структур музыки. Автор сравнивает современные тенденции в музыке с идеями дзен-буддизма.

Miller, G. A., and P. N. Johnson-Laird. «Language and Perception». Cambridge: Mass. Harvard University Press, Belknap Press, 1976. Интереснейшее собрание лингвистических фактов и теорий, тесно связанных с гипотезой Уорфа о том, что язык определяет мировоззрение. Типичный пример — обсуждение странного «тещиного языка» у народности Двирбал в Австралии: специального языка, используемого только для разговоров с тещей.

** Minsky, Marvin L. «Matter, Mind, and Models». В сб. Marvin L. Minsky, ed. «Semantic Information Processing» Cambridge, Mass.: M.I.T. Press, 1968. Несколько страниц этой короткой статьи вмещают целую философию сознания и искусственного разума. Выдающаяся статья, написанная одним из глубочайших мыслителей в этой области.

Minsky, Marvin L, and Seymour Papert. «Artificial Intelligence Progress Report». Cambridge, Mass/ M.I.T. Artificial Intelligence Laboratory, AI Memo 252, 1972. Обзор работы в области искусственного интеллекта, проведенной в МИТ до 1972 года, в соотношении с эпистемиологией и психологией. Может служить отличным введением в курс по исскусственному разуму.

** Monod, Jacques. «Chance and Necessity». New York: Random House, Vintage Books, 1971. Исключительно плодовитый автор, пишущий в занимательной манере об интересных вопросах: как живое строится из неживого и каким образом эволюция зависит от второго закона термодинамики, хотя и кажется, что она его нарушает. На мой взгляд, замечательная книга.

* Morrison, Philip and Emily, eds. «Charles Babbage and His Calculating Engines». New York: Dover Publications, 1961. Ценный источник информации о жизни Баббаджа. Приводит значительную часть автобиографии изобретателя, вместе с несколькими статьями о его машинах и «механической нотации».

Myhill, John. «Some Philosophical Implications of Mathematical Logic». «Review of Metaphysics» 6 A952): 165. Необычный взгляд на то, каким образом теоремы Гёделя и Черча связаны с эпистемиологией и психологией. Заканчивается обсуждением понятий красоты и творческих способностей.

Nagel, Ernest. «The Structure of Science» New York: Harcourt, Brace, and World, 1961. Классический труд по философии науки; четкое обсуждение различий между редукционизмом и холизмом, теологическими и нетеологическими объяснениями и т. д.

** Nagel, Ernest and James R. Newman. «Godel's Proof». New York: New York University Press, 1958. Это занимательное изложение во многом послужило источником вдохновения для моей книги.

* Nievergelt, Jurg, J. С Farrar, and E. M. Reingold. «Computer Approaches to Mathematical Problems». Englewood Cliffs, N. J.: Prentice Hall, 1974. Довольно необычное собрание различных типов задач, которые могут решаться или уже решались с помощью компьютеров — например, задача «Зn+1», о которой я упомянул в «Арии с различными вариациями», и другие задачи из области теории чисел.

Pattee, Howard H., ed. «Hierarchy Theory: The Challenge of Complex Systems» New York: George Braziller, 1973. Включает хорошую статью Херберта Саймона, обсуждающую примерно те же идеи, как и моя глава «Уровни описания».

Peter Rozsa. «Recursive Functions». New York- Academic Press, 1967. Подробное обсуждение примитивно рекурсивных функций, общерекурсивных функций, частично рекурсивных функций, диагонального метода и других технических вопросов.

Quine, Willard Van Orman. «The Ways of Paradox, and Other Essays» New York: Random House, 1966. Собрание размышлений Квайна на многие темы Первое эссе описывает разнообразные парадоксы и их решения В нем Квайн объясняет операцию, которая в моей книге названа «квайнированием».

Ranganathan, S. R. «Ramanujan, The Man and the Mathematician». London1 Asia Publishing House, 1967. Склоняющаяся к мистике биография индийского гения, написанная его поклонником. Странная, но интересная книга.

Reichardt, Jasia. «Cybernetics, Arts, and Ideas». Boston' New York Graphic Society, 1971. Причудливое собрание идей о компьютерах, искусстве, музыке и литературе. Некоторые идеи там совершенно сумасшедшие — но не все. Интересны статьи J. R. Pierce «A Chance for Art» и Margaret Masterman «Computerized Haiku». Renyi, Alfred. «Dialogues on Mathematics». San Francisco- Holden-Day, 1967. Три простых, но стимулирующих диалога между классическими историческими персонажами, пытающимися понять природу математики. Для широкой публики.

** Reps Paul. «Zen Flesh, Zen Bones». New York: Doubleday, Anchor Books. Отлично передает дух дзена, его антирациональную, антисловесную, антиредукционисткую и в основном холистскую природу.

Rogers, Hartley. «Theory of Recursive Functions and Effective Computability». New York: McGraw Hill, 1967. Техническая книга, читая которую, можно многому научиться. Содержит обсуждение интригующих задач по теории множеств и теории рекурсивных функций.

Rokeach, Milton. «The Three Christs of Ypsilanti». New York Vintage Books, 1964 . Изучение шизофрении и тех странных типов «последовательности», которые возникают в сознании больного. Описывает удивительный конфликт между тремя пациентами психиатрической больницы, каждый из которых считал себя Богом, и то, как они смогли жить бок о бок в течение многих месяцев.

** Rose, Steven. «The Conscious Brain», исправленное изд. New York: Vintage Books, 1976. Замечательная книга — возможно, лучшее введение в изучение мозга. Содержит полное обсуждение физической структуры мозга, а также философское обсуждение природы разума, редукционизма vs. холизма, свободы воли vs. детерминизма и так далее. Автор представляет широкую, разумную и человечную точку зрения; неверны только его идеи по поводу ИИ.

Rosenblueth, Arturo. «Mind and Brain: A Philosophy of Science». Cambridge, Mass.- M.I.T. Press, 1970. Хорошая книга, написанная специалистом-невро-специалистом-неврологом. Затрагивает большинство проблем, касающихся мозга и разума.

* Sagan, Carl, ed. «Communication with Extraterrestrial Intelligence». Cambridge, Mass.: M.I.T. Press, 1973. Доклады интереснейшей конференции, в которых группа знаменитостей и других ученых спорят об этом гипотетическом вопросе.

Salmon, Wesley, ed. «Zeno's Paradoxes». New York: Bobbs-Merrill, 1970. Сборник статей о старинных парадоксах Зенона в свете современной теории множеств, квантовой механики и так далее Интересно и иногда забавно; наводит на размышления.

Sanger, F., et al. «Nucleotide sequence of bacteriophage 0X174 DNA», «Nature» 265 (февраль 24, 1977). Интереснейшее описание впервые найденного полного генетического материала живого организма. Неожиданная двусмысленность: коды двух белков накладываются друг на друга! Почти невероятно.

Sayre, Kenneth M., and Frederick J. Crosson. «The Modeling of Mind: Computers and Intelligence». New York: Simon and Schuster, Clarion Books, 1963. Собрание философских комментариев ученых из различных областей науки об идее искусственного интеллекта (Anatol Rapoport, Ludwig Wittgenstein, Donald Mackay, Michael Scriven, Gilbert Ryle и другие).

*Schank, Roger, and Kenneth Colby. «Computer Models of Thought and Language». San Francisco: W. H. Freeman, 1973. Сборник статей, представляющих разный подход к вопросам стимуляции мыслительных процессов, таких как понимание языка, системы убеждений, перевода и так далее. Важная книга по ИИ; многие статьи легки для чтения даже для неспециалистов.

Schrodinger, Erwin. «What is Life? & Mind and Matter». New York: Cambridge University Press, 1967 . Знаменитая книга знаменитого физика (одного из основателей квантовой механики). Исследует физический фундамент жизни и мозга и обсуждает сознание в довольно метафизических терминах. Первая часть книги, What is Life?», в 1940-х годах оказала сильное влияние на поиски переносчиков генетической информации.

Shepard, Roger N. «Circularity in Judgments of Relative Pitch». «Journal of the Acoustical Society of America» 36, номер 12 (декабрь 1964), стр. 2346-2353. Источник удивительной слуховой иллюзии «тональной системы Шепарда».

Simon, Herbert A. «The Science of the Artificial». Cambridge, Mass.: M.I.T. Press, 1969. Интересная книга о понимании сложных систем. В последней главе, «Architecture of Complexity», затрагиваются проблемы редукционизма и холизма.

Smart, J. J. С. «Godel's Theorem, Church's Theorem, and Mechanism». «Synthese» 13 A961): 105. Хорошо написанная статья, предваряющая статью Лукаса 1961 года и содержащая аргументы против идей Лукаса.

** Smullyan, Raymond. «Theory of Formal Systems». Princeton, N. J.: Princeton University Press, 1961 Серьезный труд, начинающийся с превосходного обсуждения формальных систем; содержит элегантное доказательство упрощенной версии теоремы Гёделя. Заслуживает внимания хотя бы только из-за первой главы.