You may have seen it, it's in the same thread of conversation we're having.
Basically there's actually axiomatic proof that you can never know if you applied all possible applicable simplifications. Therefore you can never know whether or not more complexity can be destroyed or reduced.
https://news.ycombinator.com/item?id=23042796
You may have seen it, it's in the same thread of conversation we're having.
Basically there's actually axiomatic proof that you can never know if you applied all possible applicable simplifications. Therefore you can never know whether or not more complexity can be destroyed or reduced.