Рецензия на книгу «Читаем Тьюринга»
www.samag.ru
Журнал «БИТ. Бизнес&Информационные технологии»      
Поиск   
              
 www.samag.ru    Web  0 товаров , сумма 0 руб.
E-mail
Пароль  
 Запомнить меня
Регистрация | Забыли пароль?
Журнал "Системный администратор"
Журнал «БИТ»
Подписка
Архив номеров
Где купить
Наука и технологии
Авторам
Рекламодателям
Контакты
   

  Опросы
  Статьи

Сетевая инфраструктура  

Как удаленная работа меняет подход к сетевой инфраструктуре?

С увеличением числа сотрудников, работающих из дома, организации сталкиваются с необходимостью создания

 Читать далее...

Мониторинг  

Какой мониторинг нужен сегодня?

По мнению экспертов ГК InfoWatch, действия сотрудников – самая распространенная причина инцидентов

 Читать далее...

Мобильные приложения  

Искусственный интеллект в мобильных приложениях: возможности и перспективы

Обзор современных применений ИИ в мобильных приложениях, анализ перспектив развития этой технологии,

 Читать далее...

ИТ-образование  

Как сделать ИТ-образование эффективным?

Эксперты ИТ-отрасли отвечают на вопросы «СА». Обсуждаем ключевые аспекты для улучшения образовательных

 Читать далее...

Work-life balance  

Как айтишнику найти баланс между работой и личной жизнью?

Обсуждаем инструменты для эффективного управления временем, снижения уровня стресса и достижения гармонии. На

 Читать далее...

Книжная полка  

Всё самое нужное – под одной обложкой

Отличительная черта книжных новинок, выпущенных недавно издательством «БХВ» – это их универсальность. Не просто

 Читать далее...

ИТ-инфраструктура  

Системы мониторинга ИТ-инфраструктуры-2025

Без мониторинга ИТ-инфраструктуры не обходится ни одна компания, хотя бы потому, что

 Читать далее...

Открытое ПО  

Безопасность Open Source: рискуем или контролируем?

Компания «Кросс технолоджис» изучила, как используется ПО с открытым кодом в компаниях

 Читать далее...

Работа с нейросетью  

Скажи, есть ли у тебя AI, и я скажу, кто ты

Недавно сервис по поиску работы SuperJob выяснил, что каждый второй россиянин уже

 Читать далее...

Опрос  

Защита личных и клиентских данных: как мошенники используют ИИ и как защититься?

По данным RED Security, общее число кибератак на российские компании в 2024

 Читать далее...

Опрос  

Облачные инструменты для разработчиков

Эксперты ИТ-отрасли отвечают на вопросы «Системного администратора» > Как с помощью облака сделать

 Читать далее...

Опрос  

Рынок мобильных приложений: что будет актуальным в 2025 году?

Эксперты ИТ-отрасли отвечают на вопросы «Системного администратора» > Ваши прогнозы: чего ожидать от

 Читать далее...

Рынок труда  

Как успешно пройти все этапы собеседования на ИТ-должность?

По оценкам государства, дефицит ИТ-специалистов составляет от 740 тысяч до 1 миллиона

 Читать далее...

Исследование  

Как искусственный интеллект меняет банковское обслуживание: от чат-ботов до автоматического одобрения кредитов

Искусственный интеллект (AI) всё глубже проникает в банковский сектор, меняя способы обслуживания

 Читать далее...

1001 и 1 книга  
19.03.2018г.
Просмотров: 8094
Комментарии: 0
Машинное обучение с использованием библиотеки Н2О

 Читать далее...

12.03.2018г.
Просмотров: 8348
Комментарии: 0
Особенности киберпреступлений в России: инструменты нападения и защита информации

 Читать далее...

12.03.2018г.
Просмотров: 5683
Комментарии: 0
Глубокое обучение с точки зрения практика

 Читать далее...

12.03.2018г.
Просмотров: 3588
Комментарии: 0
Изучаем pandas

 Читать далее...

12.03.2018г.
Просмотров: 4369
Комментарии: 0
Программирование на языке Rust (Цветное издание)

 Читать далее...

19.12.2017г.
Просмотров: 4379
Комментарии: 0
Глубокое обучение

 Читать далее...

19.12.2017г.
Просмотров: 6939
Комментарии: 0
Анализ социальных медиа на Python

 Читать далее...

19.12.2017г.
Просмотров: 3733
Комментарии: 0
Основы блокчейна

 Читать далее...

19.12.2017г.
Просмотров: 3996
Комментарии: 0
Java 9. Полный обзор нововведений

 Читать далее...

16.02.2017г.
Просмотров: 7898
Комментарии: 0
Опоздавших не бывает, или книга о стеке

 Читать далее...

17.05.2016г.
Просмотров: 11262
Комментарии: 0
Теория вычислений для программистов

 Читать далее...

30.03.2015г.
Просмотров: 12979
Комментарии: 0
От математики к обобщенному программированию

 Читать далее...

18.02.2014г.
Просмотров: 14737
Комментарии: 0
Рецензия на книгу «Читаем Тьюринга»

 Читать далее...

13.02.2014г.
Просмотров: 9686
Комментарии: 0
Читайте, размышляйте, действуйте

 Читать далее...

12.02.2014г.
Просмотров: 7639
Комментарии: 0
Рисуем наши мысли

 Читать далее...

10.02.2014г.
Просмотров: 5937
Комментарии: 4
Страна в цифрах

 Читать далее...

18.12.2013г.
Просмотров: 5110
Комментарии: 0
Большие данные меняют нашу жизнь

 Читать далее...

18.12.2013г.
Просмотров: 3952
Комментарии: 0
Компьютерные технологии – корень зла для точки роста

 Читать далее...

04.12.2013г.
Просмотров: 3656
Комментарии: 0
Паутина в облаках

 Читать далее...

03.12.2013г.
Просмотров: 3886
Комментарии: 1
Рецензия на книгу «MongoDB в действии»

 Читать далее...

Друзья сайта  

 Рецензия на книгу «Читаем Тьюринга»

Статьи / Рецензия на книгу «Читаем Тьюринга»

Автор: Алексей Вторников

Почти 100 лет назад выдающийся немецкий математик Давид Гильберт сформулировал т.н. entscheidungsproblem или проблему разрешимости, которая определяется как «...проблема нахождения общих методов распознавания общезначимости или же выполнимости логических формул».

Чарлз Петцольд «Читаем Тьюринга»

Издательство «ДМК», Москва, 2014

ISBN: 978-5-97060-010-8

http://dmkpress.com/catalog/computer/software_development/978-5-97060-010-8/

 

Немного истории

Почти 100 лет назад выдающийся немецкий математик Давид Гильберт сформулировал т.н. entscheidungsproblem или проблему разрешимости, которая определяется как «...проблема нахождения общих методов распознавания общезначимости или же выполнимости логических формул».

Проблема разрешимости успешно была решена для частных, но важных разделов математической логики – исчисления высказываний и некоторых случаев логики первого порядка и это вселяло надежды, что нечто подобное может быть осуществлено и для математики в целом, во всех ее областях. Согласитесь, как было бы здорово иметь на руках метод, позволяющий систематически устанавливать – верно ли то или иное математическое утверждение, не тратя годы и десятилетия (а, порой, и столетия) на поиск его доказательства.

Однако, в первой половине 30-х годов XX века эти надежды рассыпались в прах. В 1931 году австриец Курт Гедель (1906-1978) показал, что в арифметике - самой, казалось бы знакомой и изученной области математики существуют истинные, но не доказуемые средствами самой арифметики теоремы. Оказалось, что арифметика не полна и ее методы недостаточно мощны. Забрезжил жуткий для всей математики призрак того, что арифметика может оказаться еще и противоречивой; это означало, что вся математика не имеет под собой фундамента. К счастью, немцу Герхарду Генцену (1909-1945) удалось показать, что это не так. Но по стройному зданию, возводимому Гильбертом и его школой, пошли первые трещины. Надежды на то, что entscheidungsproblem может быть положительно разрешена, стремительно таяли, но это еще нужно было доказать.

В 1936 году, практически одновременно американец Алонсо Черч (1903—1995) и англичанин Алан Тьюринг (1912-1954) доказали, что entscheidungsproblem не разрешима. Конечно, труды Гильберта не пропали даром; они по сию пору являются фундаментом оснований математики, но многое пришлось пересмотреть.

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

 

О книге «Читаем Тьюринга»

Книга, которой посвящена эта рецензия, принадлежит перу известного американского популяризатора Чарлза Петцольда (некоторые его книги переведены на русский язык и хорошо известны российскому читателю). Оригинальное американское издание вышло сравнительно недавно (Charles Petzold «The Annotated Turing: A Guided Tour through Alan Turing’s Historic Paper on Computability and the Turing Machine» - Wiley Publishing, Inc., 2008), но успело завоевать широкое признание. Если считать количество ссылок и индекс цитирования показателем качества научной работы, то работа Петцольда, безусловно, успешна.

Книгу отличает простой, неторопливый, ясный и местами кропотливый стиль изложения. Автор, шаг за шагом, едва ли не с микроскопом исследует главную работу Алана Тьюринга, посвященную entscheidungsproblem. Именно в этой работе (объемом менее 40 страниц) впервые появились знаменитые машины Тьюринга ставшие на многие годы универсальной теоретической концепцией (и кошмарным сном некоторых студентов) специализирующихся в computer science; следует с сожалением отметить, что эта фундаментальная работа Тьюринга так никогда и не была переведена на русский язык. Благодаря книге Петцольда, русскоязычный читатель может полностью ознакомиться как со статьей Тьюринга, так и с ее математическим «окружением».

Книга совершенно самодостаточна и все необходимые сведения из математики содержатся в ней самой. Хорошо успевающий по математике старшеклассник (готовый, разумеется, приложить определенные усилия) вполне может овладеть содержимым книги. Но оценить все значение вклада Тьюринга он вряд ли сумеет – для этого нужен немного более зрелый читатель. Во всяком случае студенты 1-2 курса не должны испытать при чтении книги особых сложностей. Я настоятельно рекомендую книгу «Читаем Тьюринга» всем настоящим программистам, кто действительно интересуется своей специальностью, кто ощущает потребность в понимании теоретических концепций, лежащих в основе программирования.

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

Следует отметить блестящую работу переводчика Л.Н.Чернышова (написавшего, кроме того, небольшое дополнение к книге). Ему удалось точно передать все нюансы оригинала и сохранить непринужденный стиль автора книги.

Чарлз Петцольд тонко и деликатно проводит читателя по самым потаенным уголкам из которых родились на свет современные компьютеры и современное программное обеспечение. Книгу можно смело отнести к лучшим образцам научной литературы для впервые изучающих тот или иной предмет. Открыв книгу от нее невозможно оторваться – настолько в ней переплетены математика, логика, программирование, история и даже жизненные интриги. Читателя ждет захватывающее путешествие в прошлое (не такое, впрочем, и далекое) из которого получилось наше настоящее и развивается будущее.

 

 

 

Комментарии отсутствуют

               Copyright © Системный администратор

Яндекс.Метрика
Tel.: (499) 277-12-45
E-mail: sa@samag.ru