> Humans can't create logically-consistent models in-depth, no matter what the domain. One of those inconvenient truths. I've found in my practice that comput

> Humans can't create logically-consistent models in-depth, no matter what the domain. One of those inconvenient truths. I've found in my practice that computers, to a degree, can be a crutch that helps with that. Once your model becomes inconsistent, your program will stop working properly, whether you noticed the inconsistency yourself or not.