Автор: Chris Bernhardt Название: Turing's Vision: The Birth of Computer Science Издательство: The MIT Press Год: 2016 ISBN: 978-0262533515 Серия: MIT Press Язык: English Формат: pdf, epub Размер: 14,4 mb Страниц: 208
Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, "The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory." Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer.
In the paper, "On Computable Numbers, with an Application to the Entscheidungsproblem," Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Alan Turing: The Enigma Название: Alan Turing: The Enigma Автор: Andrew Hodges and Douglas Hofstadter Издательство: Princeton University Press Год: 2014 Формат: AZW3, EPUB...
Feynman Lectures on Computation Название: Feynman Lectures on Computation Автор: Richard P. Feynman Издательство: Addison-Wesley Год: 1996 ISBN: 0201489910 Формат: pdf Страниц: 303...
The Essential Turing Название: The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of...
The Annotated Turing Название: The Annotated Turing Автор: Charles Petzold Издательство: John Wiley & Sons Год: 2008 Формат: PDF Размер: 12 Мб Язык: английский /...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Turing's Vision: The Birth of Computer Science 
