ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
Шрифт:
– --«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. Прелестная книжица диалогов, три героя которых заимствованы из Галилея и пересажены на современную почву. Обсуждает не только вопросы квантовой механики, но также темы узнавания структур, простоты, мозговых процессов и философии науки. Чтение этой книги доставляет истинное удовольствие и стимулирует ум.