Frankly, these laws seem to from an age where LOGIC! (but which one? certainly not classical, first order logic which is dog shit for real world thinking) was meant to be an appropriate basis for AI and some juvenile SPACE ADVENTURE writing.
Already in '88, we had this: Christopher Cherniak, Undebuggability and cognitive science
Nowadays we also have this: Why Philosophers Should Care About Computational Complexity