ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
Шрифт:
Баббадж: Но прежде, не исполнить ли нам, шестерым музыкантам-любителям, того, для чего мы собрались — немного поиграть?
Тюринг: Сейчас у нас как раз достаточно народу, чтобы сыграть «Шестиголосный ричеркар» из «Музыкального приношения». Вы согласны?
Краб: Я с удовольствием приму участие в такой программе.
Автор: Хорошо сказано, м-р Краб. И как только мы кончим, я начну плести обещанную гирлянду, Ахилл. Я надеюсь, что вам она понравится.
Ахилл:
Черепаха: Разыгрывание Интродукции Через Естественно Растущий Канон Активирует РИЧЕРКАР.
Рис. 152. Последняя страница «Шестиголосного ричеркара». Из оригинала «Музыкального приношения» И. С. Баха.
Библиография
Книги, отмеченные двумя звездочками, были основными источниками для моей книги. Одна звездочка означает, что данная книга или статья чем-то удивительна и необычна и заслуживает внимания. Я почти не ссылаюсь на техническую литературу. Вместо этого я привожу «мета-ссылки» ссылки на книги, которые в свою очередь ссылаются на техническую литературу.
Allen, John «The Anatomy of LISP» New York McGraw Hill, 1978. Исчерпывающее описание ЛИСПа компьютерного языка, доминирующего в области исследований по искусственному интеллекту в течение последних двадцати лет. Краткое и ясное изложение.
** Anderson, Alan Ross ed «Minds and Machines» Englewood Cliffs, N J Prentice Hall 1964. Сборник стимулирующих статей за и против искусственного интеллекта. Содержит знаменитую статью Тюринга «Вычислительные машины и интеллект», а также раздражающую статью Лукаса «Интеллект, машины и Гедель».
Babbage, Charles «Passages from the Life of a Philosopher» London Longman, Green, 1864. Перепечатано в 1968 году, Dawsons of Pall Mall, Лондон. Беспорядочный набор мыслей и событий из жизни этого недооцененного гения. Читатель найдет там даже пьесу, герой которой — Турнстайль, бывший философ, а ныне политик, увлекающийся игрой на шарманке. Книга показалась мне довольно забавной.
Baker, Adolph «Modern Physics and Anti-physics» Reading, Mass Addison-Wesley, 1970. Книга о современной физике, делающая упор на квантовой механике и относительности. Необычная черта книги — диалоги между Поэтом (противником науки) и Физиком. Эти диалоги — пример странных проблем, возникающих, когда один собеседник использует логическое мышление для защиты логического мышления, а другой оборачивает логику против самой себя.
Ball W. W. Rouse «Calculating Prodigies», in James R. Newman, ed «The World of Mathematics, Vol 1 New York Simon & Schuster, 1956. Рассказы о людях соперничавших в своих способностях к вычислениям с машинами.
Barker Stephen F. «Philosophy of Mathematics» Englewood Cliffs, N. J. Prentice Hall 1969. Краткое обсуждение эвклидовой и неэвклидовой геометрии, а также теоремы Геделя и ее результатов Без математических формализмов.
* Beckmann, Petr «A History of Pi» New York St Martin's Press, 1976.
* Bell, Eric Temple «Men of Mathematics» New York Simon & Schuster, 1965. Возможно самый романтический писатель, когда-либо писавший об истории математики. Каждая биография читается, как маленький роман. Даже далекие от математики люди, прочитав эту книгу, могут почувствовать мощь, красоту и значение математики.
Benacerraf Paul «God the Devil and Godel» «Monist» 51 1967) 9. Одна из важнейших попыток опровержения Лукаса. Сведения о метафизике и механицизме в свете трудов Геделя.
Benacerraf, Paul, and Hilary Putnam. «Philosophy of Mathematics — Selected Readings.» Englewood Cliffs, N.J.: Prentice Hall, 1964. Сборник статей ведущих математиков о реальности чисел и множеств, природе математической истины и т. д.
* 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. Список слов в порядке частотности в современном письменном американском варианте английского. Знакомство с этой книгой открывает интереснейшие факты о мыслительном процессе.