5 ms·
Did he claim to invent computational irreducibility? Wasn't that Goedel or Turing or someone like that?
by new4thaccount 7y ago
Did he claim to invent computational irreducibility? Wasn't that Goedel or Turing or someone like that?
- marcosdumay 7y agoHe claims it often. Yes, it was Turing, mostly based on previous work. The worst part is that he misses the detail it being possible to describe all of Math as computation (so they are perfectly equivalent) and creates entire books with keen observations of how much of Math one can describe as computers.