Это утверждение было высказано Алонзо Чёрчем и Аланом Тьюрингом в середине 1930-х годов. High Quality Content by WIKIPEDIA articles! Те?зис Чёрча — Тью?ринга — фундаментальное эвристическое утверждение, существенное для многих областей науки, в том числе, для математической логики, теории доказательств, информатики, кибернетики, дающее интуитивное понятие о вычислимости. 2012