Unfortunately, the article "Turing Uncomputability" is incorrect that [Gödel, 1931] was first to prove inferential undecidablity of mathematical foundations.

Unfortunately, the article "Turing Uncomputability" is incorrect that [Gödel, 1931] was first to prove inferential undecidablity of mathematical foundations. The [Gödel, 1931] proof using the proposition I'mUnprovable is incorrect for foundations because the proposition does not exist. See the following for correct proofs of inferential undecidablity in foundations: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021