van Heijenoort, Jean. «From Frege to Godeclass="underline" 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 . Интересная статья, написанная, возможно, самым ярым скептиком в отношении Тезиса Чёрча-Тюрннга.
* Kim, Scott E. «The Impossible Skew Quadrilateraclass="underline" A Four-Dimensional Optical Illusion». В сб. David Brisson, ed. «Proceedings of the 1978 A.A.A.S. Symposium on Hypergraphics: Visualizing Complex Relationships in Art and Science». Boulder, Colo.: Westview Press, 1978. To, что на первый взгляд кажется невероятно сложной идеей, постепенно становится ясным, как день, благодаря виртуозному изложению и серии прекрасно сделанных диаграмм. Форма статьи так же необычна и интригующа, как и ее содержание: она трехчастна одновременно на нескольких уровнях. Эта статья писалась одновременно с моей книгой, и они взаимно стимулировали друг друга.
Kleene, Stephen С. «Introduction to Mathematical Logic». New York: John Wiley, 1967. Полный и вдумчивый текст, написанный экспертом в этой области. Заслуживает всяческого внимания. Перечитывая эту книгу, в каждом абзаце я нахожу для себя что-то новое.
--- «Introduction to Metamathematics». Princeton: D. Van Nostrand, 1952. Классический труд по математической логике; учебник, приведенный выше, представляет из себя сокращенную версию. Сейчас этот строгий и полный труд немного устарел.
Kneebone, G. J. «Mathematical Logic and the Foundations of Mathematics». New York: Van Nostrand Reinhold, 1963. Серьезная книга — философское обсуждение таких вопросов как интуиционизм, «реальность» натуральных чисел, и так далее.
Koestler, Arthur. «The Act of Creation». New York: Dell, 1966. Интересная теория о том, как, соединяя идеи, можно получить нечто новое. Книгу можно читать с любого места.
Koestler, Arthur, and J. R. Smythies, eds. «Beyond Reductionism». Boston: Beacon Press, 1969. Материалы конференции, участники которой считали, что биологические системы нельзя объяснить с редукционистской точки зрения и что жизнь — это нечто, «возникающее внезапно». Одна из тех интересных книг, которые кажутся в чем-то неверными, но в которых очень трудно найти конкретные ошибки.
Kubose, Gyomay. «Zen Koans». Chicago: Regnery, 1978. Одно из лучших известных мне собраний коанов. Книга, необходимая для библиотеки дзен-буддиста.
Kuffler, Stephen W. and John G. Nicholls. «From Neuron to Brain». Sunderland, Mass.: Sinauer Associates, 1976. Несмотря на свое название, эта книга в основном рассматривает микроскопические процессы мозга и почти не уделяет внимания тому, как из путаницы нейронов возникают человеческие мысли. Особенно подробно прокомментирована работе Хубеля и Визеля о зрительных системах.
Lacey, Hugh, and Geoffrey Joseph. «What the Gbdel Formula Says». «Mind» 77 A968): 77. Полезное обсуждение значения результатов Гёделя, основанное на четком разделении трех уровней: неинтерпретированные формальные системы, интерпретированные формальные системы и метаматематика. Книга стоит изучения.
Lakatos, Imre. «Proofs and Refutations». New York: Cambridge University Press, 1976. Очень интересная книга, в форме диалогов обсуждающая формирование идей в математике. Полезна не только для математиков, но и для людей, интересующихся мыслительными процессами.
** Lehninger, Albert «Biochemistry». New York: Worth Publishers, 1976. Несмотря на высокотехнический уровень, книга довольно легко читается. В ней можно найти множество примеров переплетения белков и генов. Материал хорошо подан и очень интересен.
** Lucas J. R. «Minds, Machines, and Gadel». «Philosophy» 36 A961): 112. Перепечатано сб. Андерсон «Minds and Machines», а также в Sayre and Crosson «The Modeling of the Mind». Противоречивая и вызывающая статья; автор утверждает, что он нашел доказательство того, что человеческий мозг в принципе не может быть смоделирован при помощи компьютерной программы. Его интересные доводы целиком основаны на теореме неполноты Гёделя. Стиль этой статьи кажется мне необыкновенно раздражающим — и именно поэтому забавным для чтения.
--- «Satan Stultified: A Rejoinder to Paul Benacerraf». Monist 52 A968)- 145. Полемика с идеями Пола Бенасеррафа, написанная в забавно ученом стиле. Борьба Лукаса с Бенасеррафом, как и борьба Лукаса с Гудом, представляет богатую пищу для ума.
--- «Human and Machine Logic: A Rejoinder». British Journal for the Philosophy Science 19 A967): 155. Попытка опровержения предпринятой Гудом попытки опровержения первоначальной статьи Лукаса.
** MacGillavry, Caroline H. «Symmetry Aspects of the Periodic Drawings of M. C. Escher». Utrecht: A. Oosthoek's Uitgevermaatschappij, 1965. Мозаичные рисунки Эшера с научными комментариями кристаллографа. Источник некоторых моих иллюстраций — например, «Муравьиной фуги» и «Крабьего канона». Переиздано в 1976 году в Нью-Йорке под названием «Fantasy and Symmetry».
MacKay, Donald M. «Information, Mechanism, and Meaning». Cambridge, Mass.: M.I.T. Press, 1970. Книга о различных измерениях информации, применимых к разным ситуациям; теоретические вопросы человеческого восприятия и понимания; объяснение того, как сознание может возникнуть на механической основе.
* Mandelbrot, Benoft. «Fractals: Form, Chance, and Dimension». San Francisco: W. H. Freeman, 1977. Редкая книга — собрание иллюстраций к сложным современным идеям математики. Речь идет о рекурсивно определенных кривых и фигурах, чья размерность не выражается целым числом. Удивительным образом, Мандельброт показывает их отношение практически ко всем отраслям науки.
McCarthy, John. «Ascribing Mental Qualities to Machines». В сб. Martin Ringle, ed. «Philosophical Perspectives in Artificial Intelligence». New York: Humanities Press, 1979. Глубокая статья, исследующая, при каких обстоятельствах можно сказать, что у машины есть убеждения, желания, намерения, сознание или свобода воли. Интересно сравнить эту статью с книгой Гриффина.