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

Автор книги: Даглас Хофштадтер

сообщить о нарушении

Текущая страница: 63 (всего у книги 64 страниц)

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

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. Статья, пытающаяся примирить холизм и редукционизм, но, на мой вкус, слишком холистски направленная.

* Weizenbaum, Joseph. «Computer Power and Human Reason». San Francisco: W. H. Freeman, 1976. Вызывающая книга одного из первых специалистов по ИИ, который пришел к выводу, что многие исследования в области вычислительной техники – особенно, в области ИИ – опасны. Хотя я и могу согласиться с некоторыми из критических идей автора, мне все же кажется, что он заходит слишком далеко. Когда он называет работников в области искусственного интеллекта «искусственной интеллигенцией» в первый раз, это забавно, но после десятого раза надоедает. Каждый, интересующийся компьютерами, должен прочесть эту книгу.

Wheeler, William Morton. «The Ant-Colony as an Organism». «Journal of Morphology» 22, 2 A911): 307-325. Один из ведущих специалистов-энтомологов своего времени объясняет, почему муравьиная колония, так же, как и ее отдельные части, заслуживает называться «организмом».

Whitely, С. Н. «Minds, Machines, and Godel: A Reply to Mr Lucas». «Philosophy» 37 A967); 61. Простые, но убедительные контраргументы против Лукаса.

Wilder, Raymond. «An Introduction to the Foundations of Mathematics». New York: John Wiley, 1952. Хороший обзор, представляющий в перспективе важные идеи прошлого века.

* Wilson, Edward О. «The Insect Societies». Cambridge, Mass.: Harvard University Press, Belknap Press, 1971. Авторитетный труд об общественном поведении насекомых. Несмотря на обилие деталей, книга доступна для широкой публики и обсуждает множество интереснейших идей. Превосходные иллюстрации и обширная (но, к сожалению, не аннотированная) библиография.

Winograd, Terry. «Five Lectures on Artificial Intelligence» AI Memo 246 Stanford, Calif.: Stanford University Artificial Intelligence Laboratory, 1974. Один из ведущих современных работников по искусственному интеллекту предлагает описание основных проблем ИИ и новых идей для их решения.

*– «Language as a Cognitive Process». Reading, Mass.: Addison-Wesley. Интереснейшая книга, как никакая другая до сих пор, описывающая язык во всей его сложности.

*– «Understanding Natural Language». New York: Academic Press, 1972. Подробное описание программы, удивительно сообразительной в ограниченном контексте. Книга показывает, что язык неотделим от общего понимания мира и предлагает направление работы по созданию программ, понимающих язык, как люди. Важная контрибуция, стимулирующая множество идей.

– «On some contested suppositions of generative linguistics about the scientific study of language», «Cognition» 4:6. Забавное опровержение яростных атак некоторых лингвистов-доктринеров на искусственный интеллект.

* Winston, Patrick. «Artificial Intelligence». Reading, Mass.. Addison-Wesley, 1977. Общий обзор многих сторон ИИ, предложенный страстным исследователем этой области, молодым, но уже известным. Первая часть независима от программ, вторая часть зависит от ЛИСПа и включает краткое объяснение этого языка. Содержит множество ссылок на современную литературу по ИИ.

*– , ed. «The Psychology of Computer Vision». New York McGraw Hill, 1975. Неудачное название, но отличная книга Содержит статьи о том, как запрограммировать компьютер на зрительное узнавание предметов, сцен и т. д. Затронуты все уровни проблемы, от узнавания отрезков прямой до общей организации знаний. В частности, в книге опубликована статья самого Уинстона о его программе, способной развивать абстрактные понятия на основе конкретных примеров, и статья Минского о зарождающемся понятии фреймов.

* Wooldridge, Dean. «Mechanical Man – The Physical Basis of Intelligent Life» New York: McGraw Hill. 1968. Глубокое и ясно изложенное обсуждение отношения мыслительных процессов к физическим процессам мозга По новому исследует сложные философские понятия, поясняя их на конкретных примерах.