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

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 Quadrilateral: 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. Несмотря на высокотехнический уровень, книга довольно легко читается. В ней можно найти множество примеров переплетения белков и генов. Материал хорошо подан и очень интересен.