SMS dit: Emil Post against turing machines