The thesis states that Turing machines indeed capture the informal notion of effective methods in logic and mathematics, and provide a precise definition of an algorithm or "mechanical procedure".
Теза наводи да Тјурингове машине заиста ухвате неформални појам ефикасних метода у логици и математици, и дају прецизну дефиницију алгоритма или "механичког поступка".