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

В 1936 году англичанин Алан Тьюринг и американец Алонзо Черч, оба — математики, официально предложили алгоритм, описывающий способ числовой обработки информации, и представили модель развития компьютерной технологии. Тезис, известный под названием тезиса Черча-Тьюринга, по существу, утверждает, что если функция поддается вычислению, то ее можно вычислить с помощью компьютера. Теория обращается к основным свойствам вычислительных устройств, таких как электронные компьютеры, и утверждает, что любое...