Аннотированный Тьюринг - The Annotated Turing

Аннотированный Тьюринг: экскурсия по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга
Аннотированная обложка Тьюринга.jpg
АвторЧарльз Петцольд
Языканглийский
ПредметМатематика и вычисление
ЖанрНехудожественная литература
ИздательДжон Уайли и сыновья
Дата публикации
2008
Тип СМИРаспечатать (мягкая обложка )
Страницы372
ISBN978-0-470-22905-7
OCLC2008022829
511.3/52 22
Класс LCQA267 .P48

Аннотированный Тьюринг: экскурсия по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга это книга Чарльз Петцольд, опубликовано в 2008 г. John Wiley & Sons, Inc.[1][2]

Петцольд комментирует Алан Тьюринг статья «О вычислимых числах в приложении к Entscheidungsproblem ". В книге читатели предложение за предложением проходят через статью Тьюринга, предоставляя объяснения, дополнительные примеры, исправления и биографические данные.[нужна цитата ]

Оглавление

  • Часть I. Основы
    • Глава 1: Гробница Диофанта
    • Глава 2: Иррациональное и трансцендентное
    • Глава 3: Столетия прогресса
  • Часть II. Вычислимые числа
    • Глава 4: Образование Алана Тьюринга
    • Глава 5: Машины в работе
    • Глава 6: Сложение и умножение
    • Глава 7: Также известные как подпрограммы
    • Глава 8: Все - число
    • Глава 9: Универсальная машина
    • Глава 10: Компьютеры и вычислимость
    • Глава 11: О машинах и людях
  • Часть III. Das Entscheidungsproblem
    • Глава 12: Логика и вычислимость
    • Глава 13: Вычислимые функции
    • Глава 14: Основное доказательство
    • Глава 15: Лямбда-исчисление
    • Глава 16.Понятие континуума
  • Часть IV. И не только
    • Глава 17: Все ли машина Тьюринга?
    • Глава 18: Долгий сон Диофанта

Смотрите также

Рекомендации

  1. ^ Липтон, Ричард Дж. (Сентябрь 2011 г.). "Аннотированный Тьюринг: экскурсия по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга" (PDF). Уведомления AMS. Американское математическое общество. 58 (8): 1120–1121. Получено 8 сентября 2020.
  2. ^ Уилсон, Кевин А. (2010). Гасарх, Уильям (ред.). "Обзор аннотированного Тьюринга" (PDF). Колонка рецензирования на книгу. Университет Мэриленда в Колледж-Парке. стр. 16–20. Получено 8 сентября 2020.

внешняя ссылка