Could we design a Turing machine that output every bit of $pi$ one after another correctly