В 1937 году Алан Тьюринг представил свою идею того, что сейчас называется машиной Тьюринга. Предвидя современные компьютеры, которые имеют возможность хранить программы, он описал то, что стало известно, как Универсальная машина Тьюринга. Машины Тьюринга были разработаны, чтобы формально математически определить, что может быть вычислено с учётом ограничений на вычислительную способность. Если машина Тьюринга может выполнить задачу, то задача считается вычислимой по Тьюрингу. (jan 1, 1937