tag:blogger.com,1999:blog-850156010134400212.post7190253980661487886..comments2023-10-19T22:36:49.724+03:00Comments on Обо всем: И еще немного про МТAnonymoushttp://www.blogger.com/profile/00058025468152116401noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-850156010134400212.post-34074067794598077142011-03-04T00:24:47.673+03:002011-03-04T00:24:47.673+03:00> Наш математик Марков придумал другую модель —...> Наш математик Марков придумал другую модель — нормальный алгорифм Маркова. Есть и другие абстракции, например рекурсивные функции.<br /><br />На текущий момент полнота по Тьюрингу доказано для такого разнообразия не то чтобы моделей, а вообще мат. объектов, что диву даешься. Из совсем неожиданнх — это диофантовы уравнения! Матьясевич в 1970 г. доказав неразрешимость 10-й проблемы Гильберта получил это как побочный эффект.<br /><br />У Босса в его книжке «от Диофанта до Тьюринга» об этом написано.Aleksej Lebedevhttps://www.blogger.com/profile/05963239640145488719noreply@blogger.com