Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах ТьюрингаPDF

Оценить книгу
4,0
16
3
Отзывы
Читайте только на ЛитРес!
Отметить прочитанной
442страниц
ЛитРесформат
Книга из серии:
Введение в UML от создателей языка
Построение компиляторов
Алгоритмы и структуры данных
Разработка операционной системы и компилятора. Проект Оберон
Языки программирования. Концепции и принципы
Дизайн и эволюция языка С++
Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
Описание книги

Книга, которую вы держите в руках, принадлежит перу известного американского популяризатора Чарлза Петцольда. В ней автор исследует главную работу Алана Тьюринга, посвященную проблеме разрешимости. Именно в этой работе впервые появились знаменитые машины Тьюринга, ставшие на многие годы универсальной теоретической концепцией computer science.

Автор тонко и деликатно проведет вас по самым потаенным уголкам, из которых родились на свет современные компьютеры и современное программное обеспечение.

Читателя ждет захватывающее путешествие в прошлое, из которого получилось наше настоящее и развивается будущее.

Отзывы 3
a
alexander.polomodov
18 мая 2019, 01:34

Дочитал сегодня книгу Чарльза Петцольда «Читаем Тьюринга» из серии «Классика программирования». Книга очень интересна и одновременно крайне сложна для восприятия:) На самом деле Тюринг за свою жизнь опубликовал около 30 работ, причем это все были статьи и ни одной книги. Две статьи стали классическими:

– "О вычислимых числах" – здесь была введена машина Тьюринга для решения одной из проблем Гильберта относительно общего процесса доказуемости произвольных утверждений в математической логике

– "Вычислительные машины и интеллект" – здесь появился знаменитый тест Тьюринга, в котором наличие интеллекта у машины проверяется общением с человеком – если человек не может отличить машину от человека, то считаем что у нее есть интеллект


В книге «Читаем Тьюринга» Чарльз Петцольд сначала готовит читателей к восприятию статьи Тьюринга «О вычислимых числах», в которой основное место уделено вычислимым числам, т.е. тем числам, которые могут быть вычислены машиной. В рамках этой подготовки автор вспоминает про натуральные, целые, рациональные, иррациональные числа, алгебраические и трансцедентные числа, которые относятся к вещественным числам. Дальше он вводит исторический контекст, в котором упоминаются:

– Гильберт с постановкой изначальной проблемы относитльно разрешимости

– Бертран Рассел с логической системой и монументальным трудом «Principia Mathematica»

– Курт Гедель с теоремой о неполноте

– и собственно сам Тьюринг с решением проблемы неразрешимости (заодно с Черчем, который ее решил на пару месяцев раньше и другим способом)


Во второй части Чарльз Петцольд переходит к оригинальной работе Алана Тьюринга, которую он приводит полностью. 35-страничную статья Тьюринга сопровождается очень подробными и глубокими комментариями, которые позволяют успевать за мыслью великого математика. Вся вторая часть книги посвящена вычислимым числам.


В третьей части книги приходит время рассмотрению проблемы разрешимости и это как по мне самая сложная часть этой книги:)


В четвертой части книги Чарльз подводит итоги и делает далеко идущие выводы из этой эпохальной работы Тьюринга. Для понимания масштаба можно просто привести названия двух глав, из которых состоит эта часть:

– "Весь мир – машина Тьюринга?"

– "Дольгий сон Диофанта" – тут идет циклическая отсылка к началу книги, в котором речь шла о Диофанте и его уравнениях, а также о том, что гораздо интереснее не просто их решать, а определять имеет ли вообще частное диофантово уравнение решение в частных числах


P.S.

Книга определенно хороша и ее полезно почитать современным разработчикам, т.к. наши текущие компьютеры по возможностям эквивалентны машинам Тьюринга:)

Правда есть одно но – она точно не зайдет широкому кругу читателей, т.к. требует вдумчивого чтения и широкого кругозора

+5
Т
Тилек Бейшеналиев
27 мая 2018, 23:01

Очень крутая книга! Если вы начали ее читать, то уже не сможете остановиться до самого конца. Она заставляет буквально влюбиться в программирование!

+4
H
Heliotropium
07 июня 2018, 14:23

Эта книга Ч. Петцольда (наряду с другой его книгой «Код: тайный язык информатики») будет полезной и важной для всех, кто хочет разобраться в основах компьютерной логики.

Она не напрасно считается классикой: во-первых, она приводит к пониманию именно принципов (а «понимание одного принципа избавляет от необходимости помнить десять тысяч правил»), во-вторых она написана достаточно интересно – и это увеличивает усвояемость информации в разы (по сравнению с монотонным перечислением сухих фактов).

+3
Оцените книгу
  • Возрастное ограничение: 0+
  • Дата выхода на ЛитРес: 16 марта 2017
  • Дата перевода: 2016
  • Объем: 442 стр.
  • ISBN: 978-5-97060-231-7
  • Общий размер: 2 MB
  • Общее кол-во страниц: 442
  • Размер страницы: 140 x 205 мм
  • Переводчик: Е. В. Борисов, Л. Н. Чернышов
  • Правообладатель: ДМК Пресс
С этой книгой читают:
Читай где угодно
и на чем угодно
Как слушать читать электронную книгу на телефоне, планшете
Доступно для чтения
Читайте бесплатные или купленные на ЛитРес книги в мобильном приложении ЛитРес «Читай!»
Откройте «»
и найдите приложение ЛитРес «Читай!»
Установите бесплатное приложение «Читай!» и откройте его
Войдите под своей учетной записью Литрес или Зарегистрируйтесь
или войдите под аккаунтом социальной сети
Забытый пароль можно восстановить
В главном меню в «Мои книги» находятся ваши книги для
чтения
Читайте!
Вы можете читать купленные книги и в других приложениях
Скачайте с сайта ЛитРес файл купленной книги в формате,
поддерживаемом вашим
приложением.
Обычно это FB2 или EPUB
Загрузите этот файл в свое
устройство и откройте его в
приложении.
Купите 3 книги одновременно и выберите четвёртую в подарок!

Чтобы воспользоваться акцией, добавьте 3 книги в корзину:

1.2.