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

Gebstadter, Egbert В. «Copper, Silver, Gold: an Indestructible Metallic Alloy». Perth: Acidic Books, 1979. Ужасная мешанина, непонятная и запутанная — и при этом удивительно похожая на данную книгу. Профессор Гебштадтер приводит отличные примеры косвенной автореференции. Особенно интересна полностью аннотированная библиография, включающая ссылку на изоморфную, но воображаемую книгу.

** Godel, Kurt. «On formally undecidable propositions.» New York Basic Books, 1962. Перевод статьи 1931 года и ее обсуждение.

---«Uber Formal Unentscheidbare Satze der «Principia Mathematica» und Verwandter Systeme, I». «Monatshefte fur Mathematik und Physik», 38 A931), 173-198. Статья Гёделя 1931 года.

* Goffman, Erving. «Frame Analysis». New York: Harper & Row, Colophon Books, 1974. Подробные сведения об определении «систем» в человеческой коммуникации и о том, как граница между «системой» и «реальностью» воспринимается, используется и нарушается в живописи, театре, репортаже и реклаламе.

Goldstein, Ira, and Seymour Papert «Artificial Intelligence, Language, and the Study of Knowledge» «Cognitive Science»  (январь 1977) 84-123. Обзор прошлого и будущего искусственного разума Авторы подразделяют историю ИИ на три периода классический, романтический и современный.

Good I J «Human and Machine Logic» «British Journal for the Philosophy of Science» 18 A967) 144. Одна из интереснейших попыток опровержения Лукаса, рассматривает вопрос, возможно ли механизировать саму повторную операцию диагонализации.

---«Godel's Theorem is a Red Herring» «British Journal for the Philosophy of Science» 19 A969) 357. Гуд утверждает, что доводы Лукаса не имеют никакого отношения к теореме Геделя, и что Лукас должен был бы назвать свою статью «Minds, Machines and Transhnite Counting» («Разум, машины и трансфинитные вычисления») Спор Гуда и Лукаса очень интересен.

Goodman, Nelson «Fact, Fiction, and Forecast» 3rd ed Indianapolis Bobbs-Mernll, 1973. Книга посвящена обсуждению гнпотетических ситуаций и индуктивной логики, включает знаменитые парадоксальные неологизмы Гудмана «blееn» и «grue» (смесь слов «green» и «blue» — зеленый и голубой) Книга особенно интересна с точки зрения ИИ, поскольку Гудман останавливается на вопросе человеческого восприятия.

* Goodstein, R L «Development of Mathematical Logic» New York Springer Verlag, 1971. Краткий обзор математической логики, включает материалы, которые трудно найти в другом месте Хорошая книга, полезная для справок.

Gordon, Cyrus «Forgotten Scripts» New York Basic Books, 1968. Краткий и хорошо написанный обзор истории расшифровки древних письменностей иероглифов, клинописи и других.

Griffin, Donald The Question of Animal Awareness» New York Rockfeller University Press, 1976. Небольшая книга о пчелах, человекообразных обезьянах и других животных, о том обладают ли они «сознанием» и в особенности о том, правомочно ли вообще использовать слово «сознание», объясняя поведение животных.

deGroot, Adnaan «Thought and Choice in Chess» The Hague Mouton, 1965. Глубокое исследование в области когнитивной психологии, описывает классически простые и элегантные эксперименты.

Gunderson, Keith «Mentality and Machines» New York Doubleday, Anchor Books, 1971. Ярый противник ИИ объясняет свою позицию. Местами довольно смешно.

** Hanawalt, Philip С, and Robert H Haynes, eds «The Chemical Basis of Life» San Francisco W H Freeman, 1973. Отличный сборник статей из «Сайентифк Американ» Дает хорошее представление о том, чем занимается молекулярная биология.

* Hardy, G Н, and E M Wright «An Introduction to the Theory of Numbers», 4th ed New York Oxford University Press, 1960. Классический труд по теории чисел Набит информацией об этих загадочных существах — целых числах.

Harmon, Leon «The Recognition of Faces» «Scientific American», ноябрь 1973, стр. 70. Исследование того, как мы представляем лица в памяти и какая информация нам необходима, чтобы узиать знакомое лицо. Одна из самых интересных задач узнавания структур.

van Heijenoort, Jean. «From Frege to Godel: A Source Book in Mathematical Logic». Cambridge, Mass.: Harvard University Press, 1977. Сборник важнейших статей по математической логике, приведших к поразительному открытию Гёделя (последняя статья книги).

Henri, Adrian. «Total Art: Environments, Happenings, and Performances». New York: Praeger, 1974. Показывает, как в современном искусстве значение выродилось настолько, что само его отсутствие приобретает глубокое значение (что бы это ни означало).

* Ноаге, С. A. R., and D. С. S. Allison. «Incomputability». «Computing Surveys» 4, по.З (Сентябрь 1972). Хорошо изложенное объяснение того, почему проблема остановки неразрешима. Доказывает следующую фундаментальную теорему: любой компьютерный язык, в котором есть условное наклонение и определения через рекурсивную функцию, достаточно мощный, чтобы запрограммировать собственного интерпретатора, не может быть использован для того, чтобы запрограммировать собственную функцию остановки.

Hofstadter, Douglas R. «Energy levels and wave (unctions of Bloch electrons in rational and irrational magnetic fields». «Physical Review B», 14, no. 6 15 сентября 1976). Докторская диссертация автора, представленная в форме статьи. Детально показан рекурсивный график G, представленый иа рис. 34.

Hook, Sidney, ed. «Dimensions of Mind». New York: Macmillan, Collier Books, 1961. Сборник статей о проблемах разума и мозга, а также разума и компьютера. Некоторые статьи довольно категоричны.

* Horney, Karen. «Self-Analysis». New York: W. W. Norton, 1942. Интереснейшее описание того, как запутываются уровни самовосприятия, когда человек пытается понять самого себя в этом сложном мире. Человечный и глубокий труд.

Hubbard, John I. «The Biological Basis of Mental Activity». Reading, Mass.: Addison-Wesley, 1975. Еще одна книга о мозге. Ее достоинство в том, что она содержит длинный список вопросов для размышления и ссылки на статьи, отвечающие на эти вопросы.

* Jackson, Philip С. «Introduction to Artificial Intelligence». New York: Petrocelli Charter, 1975. Книга, с энтузиазмом описывающая идеи ИИ, на многие из которых автор только намекает; именно поэтому ее интересно даже перелистать. Другая причина, по которой книга достойна рекомендации, — ее обширная библиография.

Jacobs, Robert L. «Understanding Harmony». New York: Oxford University Press, 1958. Прямолинейная книга о гармонии, заставляющая читателя задаться вопросом о том, почему условная гармония европейской цивилизации настолько привлекает наш мозг.

Jaki, Stanley L. «Brain, Mind, and Computers». South Bend, Ind.: Gateway Editions, 1969. Полемическая книга, каждая страница которой дышит ненавистью к попыткам понять разум при помощи компьютеров. Тем не менее, некоторые из идей интересны.

* Jauch, J. M. «Are Quanta Real?» Bloomington, Ind.: Indiana University Press, 1973. Прелестная книжица диалогов, три героя которых заимствованы из Галилея и пересажены на современную почву. Обсуждает не только вопросы квантовой механики, но также темы узнавания структур, простоты, мозговых процессов и философии науки. Чтение этой книги доставляет истинное удовольствие и стимулирует ум.

* Jeffrey, Richard. «Formal Logic: Its Scope and Limits». New York: McGraw Hill, 1967. Легко читаемый учебник, последняя глава которого посвящена теоремам Гёделя и Чёрча. В этой книге читатель найдет подход, отличный от большинства учебников по логике; это делает ее достойной внимания.

* Jensen, Hans. «Sign, Symbol, and Script». New York: G. P. Putnam's, 1969. Возможно, наилучшая книга о символических письменностях мира, как современных, так и древних. В книге много красоты и тайны — например, нерасшифрованная письменность острова Пасхи.

Какпйг, Laszld. «An Argument against the Plausibility of Church's Thesis». В сб. A. Heiting, ed. «Constructivity in Mathematics: Proceedings of the Colloquium held at Amsterdam», 1957, North-Holland, 1959 . Интересная статья, написанная, возможно, самым ярым скептиком в отношении Тезиса Чёрча-Тюрннга.