Презентация, доклад по теме Машина Тьюринга

— 7 июня 1954, Уилмслоу, Великобритания), английский математик. Основные труды по математической логике, вычислительной математике. Ввел математическое понятие абстрактного эквивалента алгоритма, или вычислимой функции, получившее затем название «машины Тьюринга».

истинные теоремы математики.»

Он показал, что любая математическая теория является неполной, поскольку должны существовать теоремы, истинность которых не может быть доказана в пределах данной теории.

универсального метода для определения вычислимости, и, следовательно, в математике всегда будут задачи, не имеющие решения (в отличие от пока неразрешимых).
Работа Тьюринга опровергла мнение Д. Гилберта и его школы о том, что любая математическая теория может быть выражена через набор аксиом и теорем.

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

правительственной шифровальной школе в Блетчли-Парк, где с помощью первых вычислительных машин пытались расшифровать германские послания, закодированные шифровальной машиной «Энигма».
В конце 1943 при участии Тьюринга была построена первая вычислительная машина, использовавшая вместо электромеханических реле 2 тыс электронных вакуумных ламп, — «Колосс».

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

– число троичной системы счисления, слева – число восьмеричной.
От числа, расположенного справа, отнимем единицу, затем продвигаемся влево и к восьмеричному числу прибавляем единицу. После этого возвращаемся к правому числу и повторяем первый цикл. Работа будет продолжаться до тех пор, пока число, расположенное справа, не будет исчерпано. После того как к левому числу прибавляем единицу, в последний раз мы сдвигаемся вправо, стираем знак «+» и останавливаемся.
Сконструированная машина может выступать и в роли троично-восьмеричного дешифратора.

задачу.

14358 = 1∙83+4∙82+3∙81+5∙80 = 512+256+24+5 = 79710
Результат перевода: 14358 = 79710
2123 = 2∙32+1∙31+2∙30 = 18+3+2 = 2310 Результат перевода: 2123 = 2310
79710+2310 = 82010





Окончательный ответ: 14648
В результате работы нашей программы получился такой же ответ.

блок-схему алгоритма решения. Затем уже пишут программу, разделяя её на отдельные процедуры в соответствии с блок-схемой. Предложенный гениальным английским математиком Аланом Тьюрингом метод изучения алгоритмов предлагает ещё один способ записи алгоритма, наглядно иллюстрирующий решение конкретной задачи с помощью построения схемы машины Тьюринга. Хотя Тьюринг имел в виду некую идеальную машину, описывая только те её свойства, которые необходимы программисту, в 70-е годы прошлого века в нашей стране были созданы действующие модели машин Тьюринга. Опыт по применению этих моделей в изучении алгоритмов и программирования оказался очень интересным.

Алгоритмы. ЭВМ. М., Просвещение, 1991 г.
http://lib.custis.ru/index.php/Машина_Тьюринга