Wang Qi was not at all surprised that Turing was the first to stand.
Because on Earth, the scholar who had written On Computable Numbers, with an Application to the Entscheidungsproblem was named Alan Turing—the counterpart of True Person Turing.
Wang Qi believed that even if he had not published this paper, this Free and Unfettered Cultivator would have produced a similar one within three to five years.
Of course, Wang Qi did not feel this counted as plagiarism—indeed, such a situation was difficult to define. Though the histories of the two worlds bore certain similarities, True Person Turing was, after all, not that Alan Turing. In this world's history, Turing had never had that flash of inspiration to resolve this problem of decidability.
Furthermore, Wang Qi had been a physicist in his previous life; he had not been bored enough to memorize papers on undecidability. He had independently derived that paper himself, and the overwhelming majority of it was Wang Qi's own original work.
Yet even so, Wang Qi still gave Turing a respectful bow. "You flatter me. Even without me, True Person, you would have grasped this principle within another three to five years."
Turing waved a hand. "Not necessarily. I did have some thoughts in that direction, but I am loose by nature. Either I waste time in the Myriad Immortal Illusion Realm, or I wander idly around Fusang. In terms of focus, I am inferior to many fellow Daoists. To me, you have saved years of hard labor! And with this undecidability, many logical problems in the Myriad Immortal Illusion Realm can be circumvented. Give me another year... no, half a year at most. I can update the Myriad Immortal Illusion Realm by another generation!"
Computing devices had always been founded upon logic.
Incompleteness and undecidability