Тезис Чёрча Тьюринга

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