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

Хофштадтер Даглас Р.

* 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.

Эта книга, написанная ученым-лингвистом, посвящена сложным проблемам перевода и понимания языка людьми. Хотя ИИ практически не упоминается, ясно, что автор убежден в том, что стараться запрограммировать компьютер на понимание романов или стихов, — безнадежное занятие. Хорошо написанная книга, наводящая на размышления и местами раздражающая.

Stenesh, J. «Dictionary of Biochemistry». New York: John Wiley, Wiley Interscience, 1975. Эта книга послужила для меня полезным дополнением к технической литературе по молекулярной биологии.

** Stent, Gunther. «Explicit amd Implicit Semantic Content of the Genetic Information». В сб. «The Centrality of Science and Absolute Values», том 1. Proceedings of the 4th International Conference on the Unity of the Sciences, New York, 1975. Удивительно то, что эта статья находится среди материалов конференции, организованной ныне дезакредитированным преподобным отцом Сун Мьюнг Мун. Тем не менее, статья отличная. В ней обсуждается вопрос о том, можно ли сказать, в некоем практическом смысле, что в генотипе содержится «вся» информация о его фенотипе. Иными словами, тема статьи — местонахождение значения в генотипе.

– -- «Molecular Genetics: A Historical Narrative». San Francisco: W. H. Freeman, 1971. Стент представляет широкую, гуманистическую точку зрения и ставит идеи в историческую перспективу. Необычный текст по молекулярной биологии.

Suppes, Patrick. «Introduction to Logic». New York: Van Nostrand Reinhold, 1957. Стандартный текст, ясно излагающий исчисление высказываний и исчисление предикатов. Моя глава об исчислении высказываний базируется, в основном, на этой книге.

Sussman, Gerald Jay. «A Computer Model of Skill Acquisition». New York: American Elsevier», 1975. Теория программ, объясняющая задачи программирования компьютера. Детально обсуждается, как можно разбить задание на подзадачи и как эти подзадачи взаимодействуют.

** Tanenbaum, Andrew S. «Structured Computer Organization». Englewood Cliffs, N. J.: Prentice Hall, 1976. Великолепно прямолинейное, замечательно написанное объяснение многих уровней современных компьютерных систем Включает главы о языках микропрограммирования, машинных языках, языках ассемблера, операционных системах и так далее. Хорошая, частично аннотированная библиография.

Tarski, Alfred. «Logic, Semantics, Metamathematics». Статьи 1923-1938 годов Перевод J. H. Woodger. New York Oxford University Press, 1956. Излагает идеи о истине и представленном ею отношении между языком и миром. Эти идеи все еще влияют на проблемы представления знаний в ИИ.

Taube, Mortimer. «Computers and Common Sense». New York: McGraw Hill, 1961. Возможно, первый протест против искусственного разума, книга раздражает.

Tietze, Heinrich. «Famous Problems of Mathematics». Baltimore: Graylock Press, 1965. Книга о знаменитых задачах, написанная в оригинальном и эрудированном стиле. Хорошие иллюстрации и исторические материалы.

Trakhtenbrot, V. «Algorithms and Computing Machines». Heath. Обсуждение теоретических вопросов, касающихся компьютеров, — в особенности, неразрешимых проблем, таких как проблема остановки и проблема словесной эквивалентности. Одно из достоинств книги — ее краткость.