Читаем Гёдель, Эшер, Бах. Эта бесконечная гирлянда полностью

** Tanenbaum, Andrew S. «Structured Computer Organization». Englewood Cliffs, N. J.: Prentice Hall, 1976. Великолепно прямолинейное, замечательно написанное объяснение многих уровней современных компьютерных систем Включает главы о языках микропрограммирования, машинных языках, языках ассемблера, операционных системах и так далее. Хорошая, частично аннотированная библиография.

Tarski, Alfred. «Logic, Semantics, Metamathematics». Статьи 1923-1938 годов Перевод J. H. Woodger. New York Oxford University Press, 1956. Излагает идеи о истине и представленном ею отношении между языком и миром. Эти идеи все еще влияют на проблемы представления знаний в ИИ.

Taube, Mortimer. «Computers and Common Sense». New York: McGraw Hill, 1961. Возможно, первый протест против искусственного разума, книга раздражает.

Tietze, Heinrich. «Famous Problems of Mathematics». Baltimore: Graylock Press, 1965. Книга о знаменитых задачах, написанная в оригинальном и эрудированном стиле. Хорошие иллюстрации и исторические материалы.

Trakhtenbrot, V. «Algorithms and Computing Machines». Heath. Обсуждение теоретических вопросов, касающихся компьютеров, — в особенности, неразрешимых проблем, таких как проблема остановки и проблема словесной эквивалентности. Одно из достоинств книги — ее краткость.

Turing, Sara. «Alan M. Turing». Cambridge, U.K.: W. Heffer & Sons, 1959. Биография великого пионера компьютерного дела, с любовью составленная его матерью.

* Ulam, Stanislav. «Adventures of a Mathematician». New York: Charles Scribner's, 1976. Автобиография 65-летнего человека, написанная так, словно автору 20 лет; он безумно влюблен в математику. Книга полна сведений о том, кто кого считал лучшим, кто кому завидовал и так далее. Не только интересное, но и серьезное чтение.

Watson, J. D. «Molecular Biology of the Gene», 3rd ed. Menlo Park, Calif.: W. A. Benjamin, 1976. Хорошая книга, но, по моему мнению, далеко не так четко организованная, как труд Ленингера. Тем не менее, почти на каждой странице есть что-то интересное.

Webb, Judson. «Metamathematics and the Philosophy of Mind». «Philosophy of Science» 35 A968): 156. Подробные и строгие доводы против Лукаса. Автор утверждает: «Моя позиция в данной статье такова: проблема мозга-машины Гёделя не сможет получить связного объяснения до тех пор, пока не будет разрешена проблема конструктивности в основаниях математики.»

Weiss, Paul. «One Plus One Does Not Equal Two». В сб. G. С. Quarton, Т. Melnechuk, and F. 0. Schmitt, ed. «The Neuroscience: A Study Program». New York: Rockefeller University Press, 1967. Статья, пытающаяся примирить холизм и редукционизм, но, на мой вкус, слишком холистски направленная.

* Weizenbaum, Joseph. «Computer Power and Human Reason». San Francisco: W. H. Freeman, 1976. Вызывающая книга одного из первых специалистов по ИИ, который пришел к выводу, что многие исследования в области вычислительной техники — особенно, в области ИИ — опасны. Хотя я и могу согласиться с некоторыми из критических идей автора, мне все же кажется, что он заходит слишком далеко. Когда он называет работников в области искусственного интеллекта «искусственной интеллигенцией» в первый раз, это забавно, но после десятого раза надоедает. Каждый, интересующийся компьютерами, должен прочесть эту книгу.

Wheeler, William Morton. «The Ant-Colony as an Organism». «Journal of Morphology» 22, 2 A911): 307-325. Один из ведущих специалистов-энтомологов своего времени объясняет, почему муравьиная колония, так же, как и ее отдельные части, заслуживает называться «организмом».

Whitely, С. Н. «Minds, Machines, and Godel: A Reply to Mr Lucas». «Philosophy» 37 A967); 61. Простые, но убедительные контраргументы против Лукаса.

Wilder, Raymond. «An Introduction to the Foundations of Mathematics». New York: John Wiley, 1952. Хороший обзор, представляющий в перспективе важные идеи прошлого века.

* Wilson, Edward О. «The Insect Societies». Cambridge, Mass.: Harvard University Press, Belknap Press, 1971. Авторитетный труд об общественном поведении насекомых. Несмотря на обилие деталей, книга доступна для широкой публики и обсуждает множество интереснейших идей. Превосходные иллюстрации и обширная (но, к сожалению, не аннотированная) библиография.

Winograd, Terry. «Five Lectures on Artificial Intelligence» AI Memo 246 Stanford, Calif.: Stanford University Artificial Intelligence Laboratory, 1974. Один из ведущих современных работников по искусственному интеллекту предлагает описание основных проблем ИИ и новых идей для их решения.

*--- «Language as a Cognitive Process». Reading, Mass.: Addison-Wesley. Интереснейшая книга, как никакая другая до сих пор, описывающая язык во всей его сложности.

*--- «Understanding Natural Language». New York: Academic Press, 1972. Подробное описание программы, удивительно сообразительной в ограниченном контексте. Книга показывает, что язык неотделим от общего понимания мира и предлагает направление работы по созданию программ, понимающих язык, как люди. Важная контрибуция, стимулирующая множество идей.

Перейти на страницу:

Похожие книги

Простая одержимость
Простая одержимость

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике. Неслучайно Математический Институт Клея включил гипотезу Римана в число семи «проблем тысячелетия», за решение каждой из которых установлена награда в один миллион долларов. Популярная и остроумная книга американского математика и публициста Джона Дербишира рассказывает о многочисленных попытках доказать (или опровергнуть) гипотезу Римана, предпринимавшихся за последние сто пятьдесят лет, а также о судьбах людей, одержимых этой задачей.

Джон Дербишир

Математика
Размышления о думающих машинах. Тьюринг. Компьютерное исчисление
Размышления о думающих машинах. Тьюринг. Компьютерное исчисление

Алану Тьюрингу через 75 лет после сто смерти, в 2009 году, были принесены извинения от правительства Соединенного Королевства за то, как с ним обошлись при жизни. Ученого приговорили к принудительной химической терапии, повлекшей за собой необратимые физические изменения, из-за чего он покончил жизнь самоубийством в возрасте 41 года. Так прервался путь исследователя, признанного ключевой фигурой в развитии компьютеров, автора первой теоретической модели компьютера с центральным процессорным устройством, так называемой машины Тьюринга. Ученый принимал участие в создании первых компьютеров и использовал их для расшифровки нацистских секретных кодов, что спасло много жизней и приблизило конец войны. Такова, по сути, трагическая история гения, которого подтолкнула к смерти его собственная страна, хотя ей он посвятил всю свою жизнь.

авторов Коллектив

Математика / Научпоп / Образование и наука / Документальное