Тезис Чёрча — Тьюринга
Эпоха: Ранняя теория · 1930-е–1950-е
Алонзо Чёрч и Алан Тьюринг независимо друг от друга предложили знаменитый тезис Чёрча — Тьюринга. Этот тезис утверждает, что любая эффективно вычислимая функция является вычислимой по Тьюрингу. Тем самым интуитивное понятие «вычислимости» получило формализацию и стало основой компьютерной науки.
Алонзо Чёрч и Алан Тьюринг
Источники и подтверждения
The Church-Turing Thesis
Stanford Encyclopedia of Philosophy · Тип источника: secondary-summary
Explains the independent 1936 formulations and the later name "Church-Turing thesis".
Проверено: