Reconsidering Turing's thesis : (toward more realistic semantics of programs)