Turing's own formalization in 1936 was grounded in human cognitive limitations, not in the intrinsic...