In work the parity of ordinary and mathematical treatments of concept effective computability is considered. Versions of the formulation of thesis Cherch – Turing as definition of concept effective calculability are considered. As key concept for an explication of effective computability the parity of causal and formal manipulations with symbols on the basis of which arguments in protection of validity of thesis Cherch – Turing against attempts of its refutation on the basis of the expanded understanding of the mashin as physical process are offered is examined.
В работе рассмотрено соотношение обыденной и математической трактовок понятия эффективной вычисли-мости. Рассматриваются разновидности формулировки тезиса Черча – Тьюринга в качестве определения понятия эффективной вычислимости. В качестве ключевого для экспликации понятия эффективной вычислимости рассматривается соотношение причинных и формальных манипуляций с символами, на основании которого предла-гаются аргументы в защиту справедливости тезиса Черча – Тьюринга против попыток его опровержения на основе расширенного понимания вычислительной машины как физического процесса.