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

* Bergerson, Howard. «Palindromes and Anagrams.» New York: Dover Publications, 1973. Превосходное собрание самых странных и невероятных примеров игры слов в английском языке. Палиндромные стихотворения, пьесы, рассказы и так далее.

Bobrow, D. G., and Allan Collins, eds. «Representations and understanding; studies in cognitive science. New York: Academic Press, 1975. Эксперты по искусственному разуму спорят о природе «фреймов», декларативном и процедурном представлениях информации и так далее. В каком-то смысле, эта книга отмечает начало новой эры в искусственном интеллекте — эры представления.

* Boden, Margaret. «Artificial Intelligence and Natural Man». New York: Basic Books, 1977. Лучшая книга по искусственному интеллекту, которую я когда-либо читал, включая технические и философские аспекты. Я считаю, что это — классический труд. Книга продолжает английскую традицию ясного мышления и выражения идей, касающихся разума, свободной воли и т. п. Содержит обширную техническую библиографию.

----.«Purposive Explanations in Psychology». Cambridge, Mass.: Harvard University Press. Боден утверждает, что ее труд по искусственному интеллекту — лишь расширенное примечание к этой книге.

* Boeke, Kees. «Cosmic View: The Universe in 40 Jumps». New York: John Day, 1957. Последнее слово в обсуждении уровней описания. Рано или поздно, эту книгу должен прочесть любой. Годится для детей.

** М. М. Бонгард. «Проблема узнавания», М., «Наука», 1967. Автор раздумывает над определением категорий в неопределенном пространстве. Книга содержит великолепное собрание 100 «задач Бонгарда» (как я их называю) — головоломки для искателя закономерностей, человеческого или механического. Они стимулируют мысль любого человека, интересующегося разумом.

Boolos, George, S., and Richard Jeffrey. «Computability and Logic». New York: Cambridge University Press, 1974. Продолжение книги Джеффри «Формальная логика». Содержит большое количество результатов, которые нелегко найти в других источниках. Легко читается, несмотря на строгость изложения.

Carroll, John В., Peter Davies, and Barry Rickman. «The American Heritage Word Frequency Book». Boston: Houghton Mifflin, and New York: American Heritage Publishing Co., 1971. Список слов в порядке частотности в современном письменном американском варианте английского. Знакомство с этой книгой открывает интереснейшие факты о мыслительном процессе.

Cerf, Vinton. «Parry Encounters the Doctor». «Datamation», июль 1973, стр. 62- 64. Первая встреча двух искусственных разумов — какой шок!

Chadwick, John. «The Decipherment of Linear B». New York: Cambridge University Press, 1958. Книга о классической расшифровке критской письменности, проделанной одним-единственным человеком — Майклом Вентрисом.

Chaitin, Gregory J. «Randomness and Mathematical Proof». «Scientific American», май 1975. Статья об алгоритмическом определении случайности и близком родстве последней с простотой. Эти два понятия соотнесены с теоремой Гёделя, которая приобретает новое значение.

Cohen Paul С. «Set Theory and the Continuum Hypothesis» Menlo Park, Calif W A Benjamin, 1966. Значительный вклад в современную математику — доказательство того, что некоторые суждения неразрешимы в обычной формальной системе теории множеств — поясняется здесь неспециалистам самим открывателем. Необходимые сведения по математической логике представлены четко, коротко и ясно.

Cooke, Deryck «The Language of Music» New York Oxford University Press, 1959. Единственная известная мне книга, которая пытается установить связь между элементами музыки и элементами человеческих эмоций. Первый шаг по длинной и трудной дороге, ведущей к пониманию музыки и человеческого разума.

* David Hans Theodore «J. S. Bach’s Musical Offering History, Interpretation, and Analysis» New York Dover Publications, 1972. Хорошо написанная книга — богатый источник информации о Баховском шедевре.

** David, Hans Theodore, and Arthur Mendel «The Bach Reader» New York W. W. Norton 1966. Великолепное аннотированное сборник материалов о жизни Баха. Содержит иллюстрации, фотографии страниц рукописей, высказывания из современников, случаи из жизни композитора и т. д. и т. п.

Davis, Martin «The Undecidable» Hewlett, N. Y. Raven Press, 1965. Антология важнейших работ по метаматематике с 1931 года (дополняющая таким образом антологию Ван Хейенорта). Включает перевод статьи Геделя 1931 года, конспект лекций, прочитанных Геделем о его результате, и статьи Черча, Клини Россера, Поста и Тюринга.

Davis, Martin, and Reuben Hersh «Hilbert's Tenth Problem» «Scientific American», ноябрь 1973, стр. 84. О том как 22-летний русский доказал неразрешимость знаменитой проблемы теории чисел.

** DeLong, Howard «A Profile of Mathematical Logic» Reading, Mass Addison-Wesley, 1970. Строгий труд по математической логике с объяснением теоремы Геделя и обсуждением многих философских вопросов. Включает отличную аннотированную библиографию. Эта книга оказала на меня большое влияние.