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

* 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 Серьезный труд, начинающийся с превосходного обсуждения формальных систем; содержит элегантное доказательство упрощенной версии теоремы Гёделя. Заслуживает внимания хотя бы только из-за первой главы.

*--- «What is the Name of This Book?» Englewood Cliffs, N. J. Prentice Hall, 1978. Скорее всего, эта книга должна понравиться многим из моих читателей. Она вышла из печати, когда моя книга уже была целиком написана, за исключением некоей записи в библиографии.

Sommerhoff, Gerd. «The Logic of the Living Brain». New York: John Wiley, 1974. Автор пытается, используя знания о микроструктурах мозга, создать теорию работы мозга как целого.

Sperry, Roger. «Mind, Brain, and Humanist Values». В сб. John R. Platt, ed. «New Views on the Nature of Man». Chicago: University of Chicago Press, 1965. Ведущий нейрофизиолог живым языком объясняет, как, по его мнению, мозговая деятельность сочетается с сознанием.

* Steiner, George. «After Babel: Aspects of Language and Translation». New York: Oxford University Press, 1975. Эта книга, написанная ученым-лингвистом, посвящена сложным проблемам перевода и понимания языка людьми. Хотя ИИ практически не упоминается, ясно, что автор убежден в том, что стараться запрограммировать компьютер на понимание романов или стихов, — безнадежное занятие. Хорошо написанная книга, наводящая на размышления и местами раздражающая.