Гёдель, Эшер, Бах: эта бесконечная гирлянда - [341]

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. Обсуждение теоретических вопросов, касающихся компьютеров, — в особенности, неразрешимых проблем, таких как проблема остановки и проблема словесной эквивалентности. Одно из достоинств книги — ее краткость.

Turing, Sara. «Alan M. Turing». Cambridge, U.K.: W. Heffer & Sons, 1959. Биография великого пионера компьютерного дела, с любовью составленная его матерью.

* Ulam, Stanislav. «Adventures of a Mathematician». New York: Charles Scribner's, 1976. Автобиография 65-летнего человека, написанная так, словно автору 20 лет; он безумно влюблен в математику. Книга полна сведений о том, кто кого считал лучшим, кто кому завидовал и так далее. Не только интересное, но и серьезное чтение.

Watson, J. D. «Molecular Biology of the Gene», 3rd ed. Menlo Park, Calif.: W. A. Benjamin, 1976. Хорошая книга, но, по моему мнению, далеко не так четко организованная, как труд Ленингера. Тем не менее, почти на каждой странице есть что-то интересное.

Webb, Judson. «Metamathematics and the Philosophy of Mind». «Philosophy of Science» 35 A968): 156. Подробные и строгие доводы против Лукаса. Автор утверждает: «Моя позиция в данной статье такова: проблема мозга-машины Гёделя не сможет получить связного объяснения до тех пор, пока не будет разрешена проблема конструктивности в основаниях математики.»

Weiss, Paul. «One Plus One Does Not Equal Two». В сб. G. С. Quarton, Т. Melnechuk, and F. 0. Schmitt, ed. «The Neuroscience: A Study Program». New York: Rockefeller University Press, 1967. Статья, пытающаяся примирить холизм и редукционизм, но, на мой вкус, слишком холистски направленная.