People's minds have a limit to how much information they can retain. Pushing new information in comes at the expense of pushing other information out. Computer

People's minds have a limit to how much information they can retain. Pushing new information in comes at the expense of pushing other information out. Computer science isn't limited this way because every simplified property of mathematics is retained mechanically. If a property is created that is invalid, computation ceases to be computation. Minds on the other hand, aren't so limited, but that doesn't mean that what they produce is rigorous (or correct, with respect to the context they've been defined in). I agree with you, if that's not clear. I don't understand your law analogy precisely, but I'm assuming in a general sense you mean 'human defines rule set, rule set retains it's properties provided that humans continue to enforce rule set'. To my mind, that is so open to variation, my brain may begin to attack itself. Humans can 'make sense' of anything. Computation needs to be able to do what it does regardless of whether a human is there to provide input and verify it 'makes sense' to the mind that defined it. Universe turning into paperclips, sure, but the fact that a set of properties can be used to recreate themselves through their own definitions, that's beautiful, that's computation, rigor. These are things I used to love about math, but computer science just does math better than math does.