Видение Тьюринга: рождение информатики на русском
#61016
Turing's Vision: The Birth of Computer Science (978-0262333818)
Купить и скачать электронную книгу в форматах PDF, EPUB, FB2, MOBI
Chris Bernhardt | #87: Биографии в сфере компьютеров и технологий
Доступное и увлекательное исследование того, как математическая теория Алана Тьюринга привела к появлению современной информатики и её приложений — от настольных компьютеров до мобильных телефонов.
В 1936 году, когда ему было всего 24 года, Алан Тьюринг написал замечательную работу, в которой изложил теорию вычислений, заложив основы идей, лежащих в основе всех современных компьютеров. Эта новаторская и мощная теория сегодня составляет основу информатики. В книге «Видение Тьюринга» Крис Бернхардт объясняет теорию широкому читателю, начиная с её основ и систематически подводя к её удивительным выводам. Он также рассматривает теорию Тьюринга в контексте истории математики, других взглядов на вычисления (включая взгляды Алонзо Чёрча), более поздних работ Тьюринга и зарождения современного компьютера.
Тьюринг хотел показать, что существуют проблемы, которые не поддаются решению ни одним компьютером; в частности, он хотел найти задачу принятия решений, неразрешимость которой он мог бы доказать. Чтобы объяснить идеи Тьюринга, Бернхардт рассматривает 3 известные задачи принятия решений, чтобы исследовать концепцию неразрешимости; изучает теоретические вычислительные машины, включая машины Тьюринга; объясняет принцип работы универсальных машин; и доказывает неразрешимость некоторых задач, включая задачу Тьюринга о вычислимых числах.
В 1936 году, когда ему было всего 24 года, Алан Тьюринг написал замечательную работу, в которой изложил теорию вычислений, заложив основы идей, лежащих в основе всех современных компьютеров. Эта новаторская и мощная теория сегодня составляет основу информатики. В книге «Видение Тьюринга» Крис Бернхардт объясняет теорию широкому читателю, начиная с её основ и систематически подводя к её удивительным выводам. Он также рассматривает теорию Тьюринга в контексте истории математики, других взглядов на вычисления (включая взгляды Алонзо Чёрча), более поздних работ Тьюринга и зарождения современного компьютера.
Тьюринг хотел показать, что существуют проблемы, которые не поддаются решению ни одним компьютером; в частности, он хотел найти задачу принятия решений, неразрешимость которой он мог бы доказать. Чтобы объяснить идеи Тьюринга, Бернхардт рассматривает 3 известные задачи принятия решений, чтобы исследовать концепцию неразрешимости; изучает теоретические вычислительные машины, включая машины Тьюринга; объясняет принцип работы универсальных машин; и доказывает неразрешимость некоторых задач, включая задачу Тьюринга о вычислимых числах.