Алан Тьюринг
Британский математик (1912–1954), один из основателей теории вычислений. В статье 1936 года «О вычислимых числах» описал машину Тьюринга — простейшую модель любой программы: лента с клетками и головка, которая читает, пишет и сдвигается по правилам. В той же работе показал, что есть вопросы о программах, на которые не ответит ни одна программа; отсюда проблема остановки, а из неё теорема Райса.
Источник: Википедия: Алан Тьюринг
Где встречается · 2
- Где ставить проверку работы ИИ-агента · Спеки и контекст
- Теорема Райса простыми словами · Спеки и контекст