alt Hacker NewsSurely there is a mathematical model here, but intuitively I do think there is an infinite number of typos and errors you could contain in the set of finite books, and similarly there would be an unlimited number of bugs and vulns in the set of Turing machines.
Not to mention new code is going to keep being produced, and if some in the industry are right, at record pace and record sloppiness too!