Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science. Автор тонко и деликатно проведет вас по самым потаенным уголкам, из которых родились на свет современные компьютеры и современное
программное обеспечение. Читателя ждет захватывающее путешествие в прошлое, из которого
получилось наше настоящее и развивается будущее.
Author(s): Чарльз Петцольд
Publisher: ДМК Пресс
Year: 2014
Language: Russian
City: Москва
Введение .........................................................................7
Часть I. Основы ..............................................................15
Глава 1. Прах Диофанта покоится в этой могиле ..........16
Глава 2. Иррациональные и трансцендентные числа ....27
Глава 3. Столетия прогресса ........................................53
Часть II. Вычислимые числа ............................................76
Глава 4. Годы учебы ......................................................77
Глава 5. Машины в работе ...........................................99
Глава 6. Сложение и умножение ................................ 117
Глава 7. Они же – подпрограммы ............................... 132
Глава 8. Всё есть число .............................................. 148
Глава 9. Универсальная машина ................................ 165
Глава 10. Вычислительные машины и вычислимость ... 186
Глава 11. О машинах и людях ..................................... 215
Часть III. Entscheidungsproblem ..................................... 227
Глава 12. Логика и вычислимость ............................... 228
Глава 13. Вычислимые функции ................................. 263
Глава 14. Главное доказательство .............................. 292
Глава 15. Лямбда-исчисление .................................... 315
Глава 16. Постижение континуума .............................. 336
Часть IV. И далее ........................................................... 363
Глава 17. Весь мир – машина Тьюринга? .................... 364
Глава 18. Долгий сон Диофанта .................................. 396
Избранная библиография ............................................ 406
Дополнение: Машины Тьюринга, их разновидности
и моделирование (Л. Н. Чернышов) .............................. 411
