Книга Чарльза Петцольда
«Аннотированный Тьюринг: путеводитель по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга» — книга Чарльза Петцольда , опубликованная в 2008 году издательством John Wiley & Sons, Inc. [1] [2]
Петцольд комментирует статью Алана Тьюринга «О вычислимых числах, с приложением к Entscheidungsproblem ». Книга проводит читателей предложение за предложением через статью Тьюринга, предоставляя объяснения, дополнительные примеры, исправления и биографическую информацию. [ необходима цитата ]
Оглавление
- Часть I. Основы
- Глава 1: В этой гробнице покоится Диофант
- Глава 2: Иррациональное и трансцендентное
- Глава 3: Столетия прогресса
- Часть II. Вычислимые числа
- Глава 4: Образование Алана Тьюринга
- Глава 5: Машины в действии
- Глава 6: Сложение и умножение
- Глава 7: Также известны как подпрограммы
- Глава 8: Все есть число
- Глава 9: Универсальная машина
- Глава 10: Компьютеры и вычислимость
- Глава 11: О машинах и людях
- Часть III. Проблема Entscheidungs
- Глава 12: Логика и вычислимость
- Глава 13: Вычислимые функции
- Глава 14: Главное доказательство
- Глава 15: Лямбда-исчисление
- Глава 16: Постижение континуума
- Часть IV. И далее
- Глава 17: Все ли является машиной Тьюринга?
- Глава 18: Долгий сон Диофанта
Смотрите также
Ссылки
- ^ Липтон, Ричард Дж. (сентябрь 2011 г.). «Аннотированный Тьюринг: путеводитель по исторической статье Алана Тьюринга о вычислимости и машине Тьюринга» (PDF) . Уведомления AMS . 58 (8). Американское математическое общество : 1120–1121 . Получено 8 сентября 2020 г.
- ^ Уилсон, Кевин А. (2010). Гасарч, Уильям (ред.). «Обзор аннотированного Тьюринга» (PDF) . Колонка рецензий на книгу . Мэрилендский университет в Колледж-Парке . стр. 16–20 . Получено 8 сентября 2020 г.
Внешние ссылки
- Книжный сайт
- Вопрос-ответ с г-ном Чарльзом Петцольдом 2-2013 vNextOC с YouTube
