Тезис Чёрча (выдвинут Алонзо Чёрчем в 1936 году) — принцип, согласно которому класс функций, вычислимых с помощью алгоритмов в широком интуитивном смысле, совпадает с классом частично рекурсивных функций. 2

Значение тезиса Чёрча для математической логики и теории вычислений заключается в следующем:

• Помощь в доказательстве существования конкретных алгоритмов. 2 Опираясь на тезис Чёрча, можно ограничиваться интуитивно ясными построениями и не выписывать соответствующие формальные схемы. 2
• Основание для вывода о неразрешимости алгоритмической проблемы. 2 Это происходит после того, как строго доказано, что проблема не может быть решена в рамках того или иного уточнения понятия алгоритма. 2
• Возможность говорить о существовании машины Тьюринга. 4 Некоторые учёные объединяют тезис Чёрча и тезис Тьюринга в «тезис Чёрча-Тьюринга», так как они близки по духу. 5

При этом тезис Чёрча не может быть строго доказан, так как в его формулировке участвует неточное понятие «алгоритм в интуитивном смысле». 2