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

Finsler, Paul. «Formal Proofs and Undecidability». Перепечатано в антологии Ван Хейхенорта «От Фреджа до Гёделя» (см. ниже). Предшествует работе Гёделя. Намекает на существование неразрешимых математических суждений, хотя и не доказывает этого с точностью.

Fitzpatrick, P. J. «To Godel via Babel». «Mind» 75 A966): 332-350. Изобретательное изложение доказательства Гёделя. Для различения важных уровней автор использует три разных языка: английский, французский и латинский!

von Foerster, Heinz, and James W. Beauchamp, eds. «Music by Computers». New York, John Wiley, 1969. Кроме подборки статей о разных типах компьютерной музыки, интересно также приложение: четыре пластинки, чтобы читатель мог услышать и оценить описанное. Среди записей — запрограммированная Максом Матьюсом смесь маршей «Джонни марширует домой» и «Британские гренадеры».

Frenkel, Abraham, Yehoshua Bar-Hillel, and Azriel Levy. «Foundations of Set Theory», 2nd ed. Atlantic Highlands, N. J.: Humanities Press, 1973. Малотехничное обсуждение теории множеств, логики, ограничительных теорем и неразрешимых суждений. Включает подробное обсуждение интуиционизма.

Frey, Peter W. «Chess Skill in Man and Machine.» New York: Springer Verlag, 1977, Отличный обзор современных идей о компьютерных шахматах: почему программы работают, почему они не работают... История и будущее компьютерных шахмат.

Friedman, Daniel P. «The Little Lisper». Palo Alto, Calif.: Science Research Associates, 1974. Вполне удобоваримое введение в рекурсивное мышление ЛИСПа. Читается за один присест!

Gablik, Suzi. «Magritte». Boston, Mass.: New York Graphic Society, 1976. Отличная книга о Магритте и его работах; содержит хорошую подборку репродукций.

* Gardner, Martin. «Fads and Fallacies». New York: Dover Publications, 1952. Возможно, что эта книга до сих пор является лучшим опровержением оккультизма. Хотя, скорее всего, книга не была задумана как труд по истории философии, в ней содержится немало сведений из этой области. Снова и снова читатель сталкивается с вопросом: «Что такое очевидность?» Гарднер показывает, что для открытия истины необходима как наука, так и искусство.

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