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