Как стать автором
Обновить

Комментарии 8

Изобретение машины Тьюринга в 1936 году Аланом Тьюрингом положило начало современным вычислениям.

Вы правда так думаете? А что сделали для этого Konrad Zuse, Charles Babbage, George Stibitz, Howard Aiken, Presper Eckert, John Mauchly или John von Neumann? Их вклад не есть начало? Их именами названы технологии, методы, коды итд. Вклад Тюринга тоже большой. Но ведь не он был вначале современных вычислений. Что это за фрукт такой - современные вычисления?

Неправда, Чёрч был научруком Клини.

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

Это очень сильное утверждение. Вообще Тьюринг свою машину формулировал как раз для того, чтобы доказать, что нельзя все вывести в математике из математики. Entscheidungsproblem переводится как "неразрешимость", т.е. Тьюринг доказал, что все хреново, а вы пишите, что все отлично ) Т.е. эта машина даже всю математику описать не может. Не говоря уже о физических процессах, которые мы моделируем, т.е. заведомо представляем не точно.

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

описать эта машина может всё что можно вычислить.
а вот решить (т.е. выдать ответ за конечное время и не зациклиться) - не может.

Вот тут онлайн есть, поприятнее будет)

Зарегистрируйтесь на Хабре, чтобы оставить комментарий